Compositional

Linear types AMA with Richard Eisenberg, Krzysztof Gogolewski and Arnaud Spiwack



March 31st, 2021  •  1 hr 16 mins  •  Download (72.2 MB)  •  Link with Timestamp

RSS Feed

Linear types are a new feature shipped with Haskells latest GHC compiler release 9.0. They allow to restrict a function to use an argument exactly once which opens all kinds of possibilities. Three core developers from the Haskell linear types team give an introduction to them and answer community questions in this episode.