Conversation

Linear types are going to be more complex than I thought they would. :)

Replying to

and

Are you implementing them yourself?

Replying to

and

Gotta get around to deciphering McBride’s “I Got Plenty o’ Nuttin’” paper...

Replying to

Oh, no, I was referring to the GHC proposal github.com/ghc-proposals/

Ahhhright! Yes it is indepth. Probs lots of trickiness integrating into an existing language.