Comment on Idris, a language that will change the way you think about programming (2015)parentComments−tikhonj10yHaskell 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
Comments
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