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
Replying to
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
Replying to
Making a purely functional dependently typed language that's designed to do lots of stack allocation is ambitious... good luck!
1
Hah! Will probably end in tears. 😬
1
Show replies
Replying to
actual functors? I'm not sure what you mean; functors are a great abstraction
2
Also I'm pretty sure the reason PureScript/Scala/Idris don't actually fuse is that they aren't actually valid in a strict language