Rust was a gateway drug to getting into functional programming and I don’t know how to feel about this
Conversation
Just wait till you get to dependently typed programming! 😍
1
6
I was reading up on it the other day 🙃
1
2
Replying to
Honestly I don’t remember how I got there, I think I was generally reading about category theory and type theory, maybe I was reading something on Agda (not sure) and then it was an usual case of a tangential rabbit hole. Just found out what it means & how it could be implemented
2
Oh neat! Yeah it's surprisingly not too hard to implement them. But yeah, dealing with the implications of implementing them is kind of where the 'fun' comes in. Like, how to generated efficient code when types are first class.
1
3
Show replies