Show the crate…
1 unstable release
Uses old Rust 2015
| 0.1.4 | Mar 16, 2021 |
|---|
#111 in #functional-programming
26KB
662 lines
Bo is a library for functional programming in Rust.
It provides as-pure-as-useful functional data structures to improve the functional programming experience with Rust. It implements a set of instances of the foundational functional type classes (e.g. Functor, Monad) for a large number of data structures.
The implementation tries to be as close to the pure functional implementations of these data structures, but also tries to remain practical given the specifics of the Rust programming language.
Status
This is currently a means for myself to explore functional programming in general and also to understand what is possible within the inherent limits of Rust. If the overall approach turns out to be possible without negating Rust's design principles and performance goals the plan is definitely to move this to production grade functional library.
You can track my plans and progress here.
| Data Structure | Status |
|---|---|
| Lense | First working version |
| Applicative | Early experiments |
| ValidationNel | Early experiments |
| State Monad | Initial attempt, working but needs refactoring on lifetimes. |
| Reader Monad | Working version, needs cleanup and refactoring |
| Writer Monad | Planned |
| ReaderT | Planned for Option, Tokio futures, other type classes usually needed with Web service development. |
| Free Monad | Tried this, but not sure if possible in Rust in a useful way. I also do not really grok Free - giving this up for now. Help welcome.. |
| ... | Please open issues for anything you'd like to see here |
Like-Minded Crates
- https://github.com/KitFreddura/Kinder (interesting macro based HKT approach)
- https://github.com/mcoffin/rust-effect-monad (Contains trampoline impl.)
- https://github.com/freebroccolo/monad.rs (Contains trampoline impl.)
- https://github.com/freebroccolo/free.rs (Free monad / trampoline)
- https://github.com/ludat/hado-rs (macro for do expressions / for comprehensions)
- https://github.com/TeXitoi/rust-mdo (macro for do expressions / for comprehensions)
- https://github.com/danslapman/rust-mdo-future (Future support for mdo)
- https://github.com/ptal/partial)
- https://github.com/srijs/rust-operational (Contains e.g. Kleisli)
- https://github.com/freebroccolo/pipes.rs (Pipes)
- https://github.com/m4rw3r/chomp (Parsing)
- https://github.com/freebroccolo/tailrec.rs
- https://github.com/asajeffrey/parsell (Parsing)
- https://github.com/mgattozzi/curryrs
Functional Programming in Rust Discussions
- http://blog.madhukaraphatak.com/functional-programming-in-rust-part-1/
- http://blog.madhukaraphatak.com/functional-programming-in-rust-part-2/
Discussions on Impl-Trait
Discussions on Higher Kinded Types
- http://smallcultfollowing.com/babysteps/blog/2016/11/02/associated-type-constructors-part-1-basic-concepts-and-introduction/
- http://smallcultfollowing.com/babysteps/blog/2016/11/03/associated-type-constructors-part-2-family-traits/
- http://smallcultfollowing.com/babysteps/blog/2016/11/04/associated-type-constructors-part-3-what-higher-kinded-types-might-look-like/
- http://smallcultfollowing.com/babysteps/blog/2016/11/09/associated-type-constructors-part-4-unifying-atc-and-hkt/
- https://m4rw3r.github.io/rust-and-monad-trait
- https://www.reddit.com/r/rust/comments/57267j/traits_vs_higher_kinded_types/
- https://users.rust-lang.org/t/does-rust-really-need-higher-kinded-types/5531/3
- http://typelevel.org/blog/2016/08/21/hkts-moving-forward.html
- https://internals.rust-lang.org/t/higher-kinded-types-the-difference-between-giving-up-and-moving-forward/3908