8 ms·
This feels like a straw man argument against static typing. No statically typed language I use suffers from this because they have great data structures and gen
by possibilistic 11y ago
This feels like a straw man argument against static typing. No statically typed language I use suffers from this because they have great data structures and generics.
Languages such as Rust that lean on inference are an absolute joy to program in.
- steveklabnik 11y agoActually, Rust arrays have the size as part of their type, and without type-level-integers, there is a lot of pain around them. :( That said, there's the solution: type level integers. (That also said, Rust's String type isn't an array, because it's mutable, so the size can't be a part of the type)