Escape from the Ivory Tower: The Haskell Journey
Explains how call-by-need lazy evaluation forced functional programming researchers to invent monadic effect systems, type classes, and purity-guided compiler transformations.
FRS & Lead Designer of the Glasgow Haskell Compiler
Self-contained public lectures, keynote addresses, and research seminars.
Explains how call-by-need lazy evaluation forced functional programming researchers to invent monadic effect systems, type classes, and purity-guided compiler transformations.
Simon Peyton Jones introduces nested data parallelism, originally developed by Blelloch and Sabot, as a model combining high parallelism with a simple programming interface. He discusses its implementation challenges and advantages within a purely functional language like Haskell.