Agents and event-driven programming in Eiffel

Bertrand Meyer closes laser with a session on Eiffel. See also the first four lectures on Eiffel. The most traditional form of event-driven programming is input-output. It used to be the case that the program drives the user “please input your value now”. Nowadays the user is in charge “when a user presses a button, execute Read more about Agents and event-driven programming in Eiffel[…]

Components in Scala

Martin Odersky will talk about components in Scala. See also the first four Scala lectures at laser. Components are parts of applications that can be combined in larger applications. They should be reusable, and therefore it needs an interface,  both describing the provided and the required services. This is how it differs from an API. A Read more about Components in Scala[…]

GHC’s typed intermediate language

In his final talk, Simon Peyton Jones will explain GHC’s intermediate language: System FC In GHC, Haskell is typechecked and desugared into an intermediate language with only 10 operators (and has been like that for 22 years!) Having a small IL is great, since conde generization and optimization only handle a small language, but there Read more about GHC’s typed intermediate language[…]

The D programming language, part 2

Generic programming We start with a simple example, the min function, that should work for all ordered types. First prototype auto min(L,R)(L lhs, R rhs){ return rhs < lhs ? rhs : lhs; } But! now min(42,”hello”) will generate an error. Andrei adds that using just of type argument is not enough, since float and Read more about The D programming language, part 2[…]