My name is Edvard Hübinette, and I have gotten the opportunity to work with open-source Haskell during the upcoming months thanks to Summer of Haskell, an awesome initiative that funds a handful of students to work with Haskell over the summer. My project will focus on adapting the streaming library to use with a prototype version of GHC that supports linear types, in order to make it safer.
This GHC extension is based on a paper that successfully retrofits linear types into the compiler in a very neat way; we experimented with a different approach in my bachelor thesis which is why I am particularly excited to continue working with linear types in the wild, applying them to (hopefully) improve a well-used library.
I will be working together with a mentor from Tweag I/O, namely Arnaud Spiwack, who is also the developer of the GHC fork and co-author of the underlying paper. This blog will be used to document this project both for my own sake and the interested public (if there exists such a group, questions and hoorays would be much appreciated!), and the project itself can be found here.
Cheers, Edvard