News for hackers. Stuff that matters.

A comment on Linear types are merged in GHC. Parent comment

Re:Linear types are merged in GHC by guerrilla on Friday June 19, 2020 @09:12PM (#23580626)
Once that happens, the world will change :)
[ Parent | on HN ]
Re:Linear types are merged in GHC by QuinnWilton on Friday June 19, 2020 @11:33PM (#23581378)
Wadler might argue that linear types being merged changed the world!

http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf

[ Parent | on HN ]