|
|
|
|
|
|
by belovedeagle
4087 days ago
|
|
|
This is a problem already solved by typeclasses in Haskell; http://hackage.haskell.org/package/base-4.8.0.0/docs/Data-Fo... You can write your own instances of Foldable to add implementations of the "vocabulary" word fold. How is this different from what you're proposing?
It sounds almost like you want the compiler to figure out an instance of Foldable (or, say, Edible) for you, but computers simply don't work that way (then again, GHC can derive Foldable sometimes!). |
|
|