4 ms·
Type safety is helpful but it can be excessive. I feel like a lot of stuff in Haskell is like that, and probably even in Rust. Everyone has a finite amount of t
by wakawaka28 2y ago
Type safety is helpful but it can be excessive. I feel like a lot of stuff in Haskell is like that, and probably even in Rust. Everyone has a finite amount of time and energy to spend writing (and compiling!) increasingly complex specifications.
- solarkraft 2y agoThis is why I'm so bullish on Typescript. The type system is so good and expressive that you want to use it, but it doesn't keep you from using interfaces and methods because some complicated vendored type can't be satisfied.
- OutOfHere 2y agoThat's all the excuse a teammate needs to never satisfy any type constraints.
- wakawaka28 2y agoI'm pretty satisfied with the amount of type checking in C++ and Java. You can go crazy with it but the people who write those languages usually have the good taste to not go overboard with complex type tricks.