PS Unscripted - Impredicativity, Compiler internals, Visual type editor

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

Thanks @paf31!

21:28 - Impredicativity intro and detailed type-checker discussion

Thanks @i-am-tom!

52:55 - PureScript compiler overview
55:20 - Lexer
57:40 - Parser
59:42 - Desugaring
1:01:56 - Type errors in sugar code (do-notation) show desugared form?
1:03:45 - Desugaring
1:05:45 - Type-checking
1:06:50 - Bidirectional type-checking: inference and checking
1:07:00 - Judgements
1:07:00 - 1) Unification
1:07:43 - 2) Subsumption
1:10:04 - Transform to corefn after type-checking
1:11:45 - Subsumption and typeclasses
1:15:40 - Optimizations on corefn
1:17:00 - Code-gen after optimizing
1:20:10 - `rebuildModule`: whole compilation process
1:21:15 - Externs file
1:23:00 - Binding groups
1:25:38 - `make`: Parallel compilation
1:28:00 - End

Thanks @kritzcreek!

1:30:00 - Demo: AST Edit PureScript Type
1:39:34 - Discussing UX
1:45:00 - Type vs value-level editing and code-gen

Thanks @monoidmusician!

Apologies for the super-small screens shown by some participants.

Recorded October 14, 2017

[AlexBerg]

Apologies for the ridiculously poor screen recording - I was using an old version of the Zoom client (it didn't tell me to update, which I'm not used to), so it shouldn't happen again.