24: Jeremy Gibbons
The Haskell Interlude
00:00
Haskell: A Dependently Type Programming Language
Haskell has had a surprisingly long life for programming language. People are not enthusing about Java as much now as they were in 1994. I don't think we should expect to be programming with Haskell anymore. Idris will be the next big thing in 10 years time or whatever it is.
Play episode from 42:46
Transcript
