Get the latest tech news
A Novel Idea About `Functor` in Rust?
I may have accidentally come up with a paper-worthy idea while just playing around with my silly compiler project
The restrictions of Rust’s trait system, and needing to specify explicit Input/ Output/ Mapped types, actually makes Functor more flexible than its Haskell counterpart! and even this, despite being a pretty neat extension of both Functor and Biplate in Haskell, still doesn’t capture the full generality of the Rust trait. I’m not 100% sure I have a novel idea on my hands, but at the very least, I think it’s a new useful way of looking at things that I’ll be happy to include in my toy compiler.
Or read this on Hacker News