Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.



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)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: