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

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/Phase1 https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase... [2]: https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell