BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:How To Abstract Over Context
DTSTART:20180608T143000
DTEND:20180608T151500
DTSTAMP:20260406T204517Z
UID:94a1f47edfb21d765dffe9063f9bd8c1c6b3eaeac50ce0c0ff1a917f
CATEGORIES:Conferences - Seminars
DESCRIPTION:By Prof. Martin Odersky\n\nAbstract\nProgramming is fundamenta
 lly about abstraction. Without abstraction we'd all be still programming i
 n assembly language. A very important part of programming is context - to 
 understand a program text one must also understand the environment includi
 ng "other code" in which the program fragment is to be executed. So\, can 
 we abstract over context? And should we be doing that?\n\nIn fact\, abstra
 cting over context seems to be important\, because it is the core of a lar
 ge variety of programming techniques\, including "monkey patching"\, depen
 dency injection frameworks\, dynamic scoping\, receiver functions\, type c
 lasses\, the reader monad\, the cake pattern\, etc. Some of these techniqu
 es are more ad-hoc than others. In my talk I will argue that implicit para
 meters as they are found in Scala are a canonical way to express context a
 nd that implicit function types are the right way to abstract over it.\n\n
 Bio\nMartin Odersky heads the programming research group at EPFL. His rese
 arch interests cover fundamental as well as applied aspects of programming
  languages. They include semantics\, type systems\, programming language d
 esign\, and compiler construction. The main focus if his work lies in the 
 integration of object-oriented and functional programming. His research th
 esis is that the two paradigms are just two sides of the same coin and sho
 uld be unified as much as possible. To prove this he has experimented a nu
 mber of language designs\, from Pizza to GJ to Functional Nets. He has als
 o influenced the development of Java as a co-designer of Java generics and
  as the original author of the current javac reference compiler. His curre
 nt work concentrates on the Scala programming language\, which unifies FP 
 and OOP\, while staying completely interoperable with Java and .NET.\n 
LOCATION:BC 410 https://plan.epfl.ch/?room==BC%20410
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR