Re:What I Want from a Type System (2016)
by rossng on Monday July 01, 2019 @12:48PM
(#20327204)
Hoogle is pretty nice, and few other languages had an equivalent until quite recently.
I'm hopeful that cool type-powered IDE features will start to arrive once haskell-ide-engine is a bit more stable. It's getting there!
There are some pretty awesome IDE ideas in Haskell-ish languages like Idris [1], too. There is some movement towards dependent types in Haskell, so it might get similar features one day.
I'm hopeful that cool type-powered IDE features will start to arrive once haskell-ide-engine is a bit more stable. It's getting there!
There are some pretty awesome IDE ideas in Haskell-ish languages like Idris [1], too. There is some movement towards dependent types in Haskell, so it might get similar features one day.
[1] https://www.youtube.com/watch?v=mOtKD7ml0NU