rust-monads
Just a playground for me to try out different monad related things in Rust (by dagit)
ferrite
Session Type EDSL for Rust (by ferrite-rs)
rust-monads | ferrite | |
---|---|---|
1 | 2 | |
3 | 91 | |
- | - | |
0.0 | 0.0 | |
almost 3 years ago | almost 2 years ago | |
Rust | Rust | |
- | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
rust-monads
Posts with mentions or reviews of rust-monads.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-01.
-
How does Rust code written by a Haskell dev look like?
My most recent Rust project was an exploration to implement monads in Rust: https://github.com/dagit/rust-monads/
ferrite
Posts with mentions or reviews of ferrite.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-01.
-
How does Rust code written by a Haskell dev look like?
The biggest library I developed in Rust is Ferrite. If you walk through the code, you should be able to see many Haskell-ish patterns being used in Rust.
-
Retrofitting Typestates into Rust (Paper)
I have a question: how does the typestate in typestate-rs compare to session types found in session-types, ferrite and tyrade? Does it make sense to use both typestate and session types together, or one subsumes the other?
What are some alternatives?
When comparing rust-monads and ferrite you can also consider the following projects:
rust-prolog - Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
casimir - Algebraic Effects in Haskell using Implicit Parameters
aoc-2021