3 August 2017
Encode state transitions in types using linear types
At the time of our first post on linear types, we
were fresh out of the design phase to extend GHC with linear types. We
had a prototype implementation, but it was just a proof of concept:
there was precious little you could do with it. A few months down the line, we are now in a…