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&#x27;m sure the rest of it will follow soon.<p>It&#x27;s pretty exciting!<p>[1]: <a href="https:&#x2F;&#x2F;ghc.haskell.org&#x2F;trac&#x2F;ghc&#x2F;wiki&#x2F;DependentHaskell&#x2F;Phase1" rel="nofollow">https:&#x2F;&#x2F;ghc.haskell.org&#x2F;trac&#x2F;ghc&#x2F;wiki&#x2F;DependentHaskell&#x2F;Phase...</a><p>[2]: <a href="https:&#x2F;&#x2F;ghc.haskell.org&#x2F;trac&#x2F;ghc&#x2F;wiki&#x2F;DependentHaskell" rel="nofollow">https:&#x2F;&#x2F;ghc.haskell.org&#x2F;trac&#x2F;ghc&#x2F;wiki&#x2F;DependentHaskell</a>