top | item 11222078 (no title) possibilistic | 10 years 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. discuss order hn newest steveklabnik|10 years ago Actually, 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)
steveklabnik|10 years ago Actually, 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)
steveklabnik|10 years ago
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)