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

Re-introduce `Strong`. #63

Closed sellout closed 2 years ago

sellout commented 3 years ago

In our fork of the plugin we take advantage of this to convert functors and applicatives. The slightly different requirements (e.g., in Hask, all functors are Strong, but not necessarily Pointed) made me avoid the Translators approach.

sellout commented 2 years ago

Wondering if this could be merged, or if there are any issues with it. (E.g., why was Strong commented out in the first place?)

conal commented 2 years ago

Thanks for the reminder! I've forgotten why I commented out Strong.

@mikesperber Would you mind giving this PR a go with your uses of concat? I'd like to merge but not break what you're up to.

mikesperber commented 2 years ago

@mikesperber Would you mind giving this PR a go with your uses of concat? I'd like to merge but not break what you're up to.

Go! (I don't see any interaction with what we do.)

conal commented 2 years ago

Thanks for the assessment, Mike.

Merged.