Hacker News new | ask | show | jobs
by GrantMoyer 434 days ago
I think Hoogle[1] is proof this concept could work. Haskell has modules, of course, but even if it didn't, Hoogle would keep it still pretty usuable.

The import piece here which is mentioned but not very emphasized in TFA is that Hoogle lets you search by meta data instead of just by name. If a function takes the type I have, and transforms it to the type I want, and the docs say it does what I want, I don't really care what module or package it's from. In fact, that's often how I use Hoogle, finding the function I need across all Stack packages.

That said, while I think it could work, I'm not convinced it'd have any benefit over the statys quo in practice.

[1]: https://hoogle.haskell.org/

1 comments

Hoogle works because of how richly-typed Haskell is, but Erlang is dynamically-typed.