3 ms·

-XLinearTypes down, -XDependentTypes to go :)

• guerrilla 6y ago
  Once that happens, the world will change :)
  • QuinnWilton 6y ago
    Wadler might argue that linear types being merged changed the world! http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf http://www.cs.ioc.ee/ewscs/2010/mycroft/linear-2up.pdf
• nine_k 6y ago
  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-guarantees.html http://okmij.org/ftp/Computation/lightweight-static-guarante...
• mboes 6y ago
  Tweag is onto that too. :) See https://www.reddit.com/r/haskell/comments/gtnayl/whats_the_status_on_dependent_types_in_ghc_as_of/ https://www.reddit.com/r/haskell/comments/gtnayl/whats_the_s... for a recent update.