3 ms·
Only if it's useful compile-time type checking. Unlike Java and C.
by ragnese 6y ago
Only if it's useful compile-time type checking. Unlike Java and C.
- foldr 6y agoI don't find compile-time type checking useless in either of those languages. It's relatively verbose, given the lack of type inference, but it still catches lots of errors at compile time that would otherwise be runtime errors.