|
|
|
|
|
|
by frogulis
34 days ago
|
|
|
> that foo which accepts a bar, frobnicates its internal state, and emits a mutated baz Tangential, but that reminds of the Haskell "hoogle" tool which allows searching for functions _by type_ across a large database of libraries, even by abstract types. So you might wonder "hmm what's that function that has a type structure like `t a -> (a -> t b) -> t b`?" and it'll happily tell you that it's monad `bind` |
|
|