News for hackers. Stuff that matters.

A comment on Idris, a language that will change the way you think about programming (2015). Parent comment

Re:Idris, a language that will change the way you think abou... by tikhonj on Thursday January 07, 2016 @01:00AM (#10856263)
Haskell is actively moving in the direction of adding dependent types too. I believe phase 1[1] of the plan[2] is slated for GHC 8.0 (the upcoming release), and I'm sure the rest of it will follow soon.

It's pretty exciting!

[1]: https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase...

[2]: https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell

[ Parent | on HN ]

There are no comments on this comment yet.