Announcing "Haskell Bits", a Functor/Applicative/Monad hierarchy in Rust

#1

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
#2

Your link gives me 404 :frowning:

#3

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

2 Likes
#4

functor/applicative/monad

Wish I knew what any of those words meant.

2 Likes
#5

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
#6

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 :slight_smile:

1 Like
#7

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
#8

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