Algebric structures, higher-kinded types and other category theory bad ideas.
I wrote this library for two reasons: first, mainly as a playground for learning Category Theory and Rust, second to see if it was even possible to implement such general abstract nonsense in Rust.
This library draws heavy inspiration from mathematics, other languages, and other Rust and Elixir libraries; let me mention them here. There is much, much more out there, but these are our highlights and inspirations.
The Witchcraft Elixir library is the reason why I started this journey.
Fp-core.rs, and higher,s
have been invaluable resources to help me to port category theory concepts in Rust.
The Fantasy Land Spec is a spec for
projects such as this one, but targeted at Javascript. It does not come with its
own implementation, but provides a helpful chart
of class hierarchies.
Obviously the Haskell Prelude
deserves mention. Haskell has inspired so many programmers to write clean,
declarative, functional code based on principled abstractions.
I heavely recommend: - Category Theory for Programmers - Functors, Applicatives, And Monads In Pictures - A Pragmatic Introduction to Category Theory—Daniela Sfregola
Walking through those resources probably won't change your code overnight. Some people call it general abstract nonsense for a reason. That said, it does provide a nice framework for thinking about these abstract ideas, and is a recommended pursuit for all that are curious.
