3 ms·
In response to [0], yes Haskell still lacks dependent types. Fortunately there is research going on. Liquid Haskell allows you to use refinement types to help f
by chadzawistowski 11y ago
In response to [0], yes Haskell still lacks dependent types. Fortunately there is research going on. Liquid Haskell allows you to use refinement types to help further constrain things. Anyone who is interested in full dependent typing should look at Idris.
http://www.idris-lang.org/ http://www.idris-lang.org/