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…