@lucy

> why can't we have something like C but typesafe?

Okay, this is going to sound like sarcasm, but I am really asking a real question because I don't understand why you'd want that from C. What do you want a safety mechanism for? What does "safe" even mean? Safe from what? Again, real questions. In general, what would safety mean?

> D seems quite close

Fun language, I think I never picked it up because of some weird licensing thing they were doing with the compiler back in the day; I don't remember, though.