Hacker News Reader

I feel that while type information is useful, some of the more advanced libraries have signatures that are very difficult to reason about.

Disclaimer: Didn't write read a lot of Haskell so it may be just that.

View on HN

Definitely. It can go VERY overboard at times, and that's part of Haskell style, writing code that makes intelligible types appear. It means that both the compiler and your users will have an easy time with your code. Most of the best libraries are pretty good about that.

It's also a familiarity thing. The most complex signatures require some practice before they're easy to digest.

Reply on news.ycombinator.com