Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
I'm especially interested in someone walking through code like this and explaining how the new -XLinear feature is being used to gain additional safety
-XLinear
For those who did not attend/watch the ZuriHac talks YouTube - A tour of linear types and linear base by Divesh Otwani
I'm especially interested in someone walking through code like this and explaining how the new
-XLinear
feature is being used to gain additional safetyFor those who did not attend/watch the ZuriHac talks YouTube - A tour of linear types and linear base by Divesh Otwani