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 whateveracct on Friday June 19, 2020 @06:42PM (#23579609)
-XLinearTypes down, -XDependentTypes to go :)
[ Parent | on HN ]
Re:Linear types are merged in GHC by mboes on Saturday June 20, 2020 @02:41AM (#23582251)
Tweag is onto that too. :)

See https://www.reddit.com/r/haskell/comments/gtnayl/whats_the_s... for a recent update.

[ Parent | on HN ]
Re:Linear types are merged in GHC by nine_k on Saturday June 20, 2020 @12:44AM (#23581736)
Haskell still has sort of a way to emulate dependent types in many practical cases, without a ton of work or a huge performance hit [1].

Direct support could be nice, though.

[1]: http://okmij.org/ftp/Computation/lightweight-static-guarante...

[ Parent | on HN ]
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 ]