Lots of background and information in the README here:

https://github.com/clintonmead/haskell_bits

Happy to hear any constructive comments on design improvements, as I'd like to get the design right early before I implement too much.

Lots of background and information in the README here:

https://github.com/clintonmead/haskell_bits

Happy to hear any constructive comments on design improvements, as I'd like to get the design right early before I implement too much.

1 Like

Your link gives me 404

Silly me I didn’t make the repo public should be good now

2 Likes

functor/applicative/monad

Wish I knew what any of those words meant.

2 Likes

Currently this library is an implementation of the Functor/Applicative/Monad hierarchy in Rust

Name suggestion: *famhrs*

Though I admit having Haskell in the name will increase its discoverability.

This is really interesting stuff!

I've skirted the edges of Haskell (would need to remind myself what a monad *actually* is) and I found Haskell's syntax very difficult to decipher, so reviewing the same concepts in rust might actually help - rust is much more explicit.

Hopefully someone much more familiar with Haskell will see this and review, it looks promising to me.

Also this should be interesting to everyone developing Rust's type system.

1 Like

This is one of the things I love about rust, the melting pot of ideas from completely different approaches to programming. So much to learn

1 Like

I actually want this to go beyond Functor/Applicative/Monad as things like at least Foldable/Traversable really start to make things useful (eg folding over monads) and then concepts like a Monoid also come in handy frequently.

1 Like

Ah, then there will be too many bits! Carry on