ZuriHac - GHC Track - Linear types
Goals:
- Mutable data
- With a friendly API
- Speed
For example with Array there might be an array within an IO Monad / State Monad etc…
Single threaded use of data
Makes more sense to mutate the data rather than copying
d1 – mutate –> .. – mutate –> dn
Improving speed
Post Order
Removing a source and prepending it to a list repeatedly
Video: https://www.youtube.com/watch?v=I7-JuVNvz78&feature=youtu.be
lisp