search

compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
431 stars 49 forks source link

Make `traverseC` category-polymorphic. #85

Closed sellout closed 1 year ago

mikesperber commented 2 years ago

Won't the plugin make the replacement?

sellout commented 2 years ago

We're not using the plugin (at least as far as this is concerned), so we look at concat-classes as a library for category-polymorphic programming directly. And traverseC can't be used that way, plus it defies the expectation set by the rest of the library.

Actually, I'd expect traverseC (and collectC) to also live in ConCat.Category, like zeroC does, but that's less of an issue for me.