Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Jan 2, 2018
PureScript Unscripted, Oct 14, 2017
0:00 - Middle of discussion of purescript-incremental 1:18 - Motivation for incremental UIs, as demo'ed in purescript-firkin 8:40 - Chatting about Haskell eXchange, which was day before 14:40 - PS features, like optimization, in libs vs in compiler
21:28 - Impredicativity intro and detailed type-checker discussion