3 ms·
There is a plan to add proper dependent types to GHC: https://gitlab.haskell.org/ghc/ghc/wikis/dependent-haskell https://gitlab.haskell.org/ghc/ghc/wikis/depend
by logicchains 7y ago
There is a plan to add proper dependent types to GHC: https://gitlab.haskell.org/ghc/ghc/wikis/dependent-haskell https://gitlab.haskell.org/ghc/ghc/wikis/dependent-haskell. No exact timeline on when it will be ready though.