← Back to context

Comment by jdsully

6 years ago

Today we have different systems for different needs. You can use an interpreted language like Python to get simplicity or you can use something like Rust where a program essentially doubles as proof of correctness. Strong typing is really about managing complexity as the program grows. This was never an issue on 8-bit micros because there just wasn't that much room to grow anyways.