Any approach to libraries based on category theory in Rust needs to address explicit fusion via stack allocated adaptors (found in iterators, futures, streams, visitors, etc). This suggests that we might need a more general form of `Functor` than that found in Haskell. 🤔
Conversation
I wrote up some half-baked ideas here: gist.github.com/brendanzab/480 - I'm not the greatest at category theory though so I might be completely wrong some of this! At any rate, Rust's libraries are pretty damn good for what they are used for, even without a basis in category theory.
1
3
ATS has maps/folds that don't perform copies if you're curious for a tentative solution
1
1
Replying to
there's some stuff on it here but it's uhhh quite dense: ats-lang.sourceforge.net/DOCUMENT/ATS2T
1
1
oh, and here? ats-lang.sourceforge.net/DOCUMENT/INT2P
1
1
Show replies