search

higherkindness / droste

recursion schemes for cats; to iterate is human, to recurse, divine
Apache License 2.0
388 stars 52 forks source link

Port to haskell #189

Open xgrommx opened 3 years ago

xgrommx commented 3 years ago

Someone know has droste version for haskell?

pepegar commented 3 years ago

I think that, most of the ideas here are inspired from the new redesign about to come to recursion-schemes, they can be seen here https://github.com/ekmett/recursion-schemes/pull/51

Also, @deriveFixedpoint for example comes from recursion-schemes.

Is there anything else that this lib has that lacks in other recursion schemes libraries in Haskell?

xgrommx commented 3 years ago

@pepegar as I understand droste base on PR ekmett/recursion-schemes#51?

pepegar commented 3 years ago

Well, there are ideas in Droste that come from there, others from general literature about recursion schemes, others from @sellout talks and help in Gitter...

I think @andyscott can chime in and give a better understanding about this.