hey I just had a facepalm moment (about people wanting a Monad typeclass for Type -> Type in Rust), and I want to try and approximate your approach from youtube.com/watch?v=RCRddh - but there's no sources in github.com/pigworker/CS41 :( - do you happen to have them? thanks!
Conversation
This Tweet is from a suspended account. Learn more
Did you figure out a thing re. twitter.com/brendanzab/sta? Need to watch the video but I am I am in the middle of #composemelb18 conf 😱
Quote Tweet
Any approach to libraries based on category theory in Rust needs to address explicit fusion via stack allocated adaptors (found in iterators, futures, streams, visitors, etc). This suggests that we might need a more general form of `Functor` than that found in Haskell. 
Show this thread
1
yes, just... don't show it to a category theorist, I don't want any trouble :P gist.github.com/eddyb/5fcbc9ee
2
Ooooh neat!
Hehe, I can relate! I just put lots of disclaimers on my stuff and say, "I have little idea what I'm talking about halp" 😆