3 ms·

I learned both Haskell and Rust self-taught an still find the latter's type system a bit of a cage for it's lack of higher kinded types, frankness be. I know n

I learned both Haskell and Rust self-taught an still find the latter's type system a bit of a cage for it's lack of higher kinded types, frankness be. I know not much of Java, but my sentiments concerning C++ are even worse. I do not regularly program in Haskell and far more often in Rust.

platinumrad 6y ago
"I don't know much about this thing but I don't like it, and I know even less about this other thing and I like it even less!" For what it's worth, C++ has HKTs in the form of template template parameters, making it possible to write, e.g., monad transformers, which cannot be done in Rust, last I checked. Now as for whether you'd actually want to do this in a production codebase...
marcosdumay 6y ago
Rust metadata (not just types) have an habit of getting in your way. It is all for good reason, you can't ditch the GC and have control over the memory structure without the compiler complaining about details here and there. But fixing those strings versus slices and iterator type mistakes is really annoying.