u/ysangkokin r/haskell • Recommends
ZuriHac - A tour of linear types and linear base by Divesh Otwani
0:00 / 0:00
#lineartypes#linear-base#memorymanagement
A tour of linear types and linear base by Divesh Otwani
Zürich Friends of Haskell
2K subscribers • 17 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Divesh Otwani
Advanced. Deep dive for people who know the field.
2.8K views6 years ago1 recommendation
Programming languagesComputer scienceHaskellLanguage design and type systemsData structures
Divesh Otwani introduces linear types in Haskell and demonstrates how to use linear-base for safe, in-place mutable data structures.
In this talk, I'll briefly present what linear types are and how you can use them with linear base. We'll follow the example of doing a topological sort of a DAG represented by a linear hashmap from linear-base that allows update-in-place. Along the way, we'll notice how linear types enable a safe API for mutable hashmaps and build some intuition on how to use linear types and tools from linear-base. Slides: drive.google.com/file/d/1jgg026BoxGaDfe2P3ohb7qmyPuKA3Fac/vi…Why it's here
1 person recommends thisu/Noughtmarein r/haskell • Mentions
On “Does Haskell allow pure functions to use *encapsulated* impurity”
See here for a linear quicksort implementation.
Edit: The `linear-base` github repo has some links with learning material. I think this talk is very relevant (the notation has changed from `#->` to `%1 ->` though).
u/aspiwack-tweagin r/haskell • Mentions
On “Linear types are merged in GHC”
See this talk by Divesh Otwani at Zurihac. Or one of the relevant module in linear base. For examples of such.