3 ms·
> Rust is far simpler in that regard, so there are fewer instances where your code might accidentally make sense to the compiler if you have an error. I say th
by bluejekyll 8y ago
> Rust is far simpler in that regard, so there are fewer instances where your code might accidentally make sense to the compiler if you have an error.
I say this from a place of love for Rust, but the first time you run into a massive generic type tree error thats root cause is a type parameter three levels deep not implementing Send (or some other trait) it takes your breath away.
There are some great jokes about this in Deisel and Futures for example. It makes Java generics look like a baby just starting to craw.
The error messages are good, you just need to go grab a coffee while you read through the book on type theory that’s been dumped to your screen.
- marcosdumay 8y agoSimilar stuff happens on Haskell too. I guess that since the type system is an unityped logic programming language, it is an even worse place than C++ templates. It is a smaller problem on practice only because the type declarations are much shorter programs than C++ templates.