2 ms·
What I mean is, merely plopping a Monad trait into Rust and implementing everything in userspace is famously not an effective implementation approach, so your p
by Rusky 3y ago
What I mean is, merely plopping a Monad trait into Rust and implementing everything in userspace is famously not an effective implementation approach, so your phrasing is bound to confuse people when you are instead referring to the semantics.
- carterschonwald 3y agoTo be fair I really would enjoy writing the sorts of things I like in rust if I could express monad traits sanely there. Like I’m actually trying to talk myself out of writing a type theory plus resource logic language in my not so copious free time because I want higher order traits/types and low level powah :)