Loading...

PS Unscripted - Impredicativity, Compiler internals, Visual type editor

242 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Loading...

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

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

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...