I’ve found rust to be an ML in C’s clothing. The main difference from other MLs is the lack of higher kinded types, so it’s difficult to express things like Fu

I’ve found rust to be an ML in C’s clothing. The main difference from other MLs is the lack of higher kinded types, so it’s difficult to express things like Functor, Monad, Arrow, etc