> This is the '.' on steroids. Not really. This is all still painfully manual. Both type hole development and auto completion are enabled by static types. Has

> This is the '.' on steroids. Not really. This is all still painfully manual. Both type hole development and auto completion are enabled by static types. Haskell could theoretically benefit from all these advantages that mainstream statically typed enjoy thanks to IDEA, Visual Studio, or XCode but the Haskell community has this arrogant attitude that they are above such "pragmatic" tools and as such, never took the importance of IDE's seriously. So when you watch a video on Haskell's awesome type hole development, the developer is often using vim and typing everything by hand. In 2020.