PS Unscripted - HeytingAlgebra & Aff Rewrite & Web App Demo & ChocoPie
Channel: PureScript Community
Date: 2017-08-14

## HeytingAlgebra

0:00 - Why Heyting instead of Boolean?
1:58 - Theory in Mathematics
3:45 - Order Theory: Common orders
7:00 - Semilattice
9:00 - Rough equivalence of ordering and logic
10:00 - Heyting Algebra's implication
10:45 - Boolean Algebra's classical not 
12:00 - Prelude's current typeclass hierarchy
14:00 - Motivating use of Lattice/Heyting in Prelude
18:15 - The intent of Show

Twitter @alex_berg

## Aff Rewrite

20:55 - Motivations: FFI-maintainability, Stack-unsafe,
  Exceptions, Weak Forking, Cancelations
29:00 - New forking model - green-thread-like
34:10 - Exceptions only affects parent
35:40 - Suspendable threads
36:15 - Bracket manages resource acquisition/disposal
37:18 - Thread memoization
38:10 - How threads support single-thread environment, like browser
40:26 - Fiber's resources managed by bracket
41:12 - AVar problems, now rewritten to have semantics of MVar
42:20 - Defining an async action requires defining a canceler
43:40 - Execution of a thread is stack-safe, including Parallel instances
46:15 - Can apply to other PureScript backends?
48:29 - How many threads can be created?
49:45 - Tries to get perf by helping JavaScript optimizer
50:55 - Lazily evaluates Alternative threads
52:14 - Promise interface - Compat module
54:22 - Using as JS library?
56:40 - API is breaking, but same semantics & type-guarantees are more reliable

Twitter @natefaubion

## PureScript app demo - Simon Game

Porting an app from Elm to PS

1:02:00 - Intro

Twitter @adamrecvlohe

## PureScript-ChocoPie

CycleJS architecture in pure PureScript

1:14:22 - Intro

Twitter @jusrin00

Recorded: Aug 12, 2017