[1letterunixname]

0. I don't see type annotations.

1. Why another language and not a better runtime for an existing language with an install base that already exists?

[bhansconnect]

0. Roc is capable of always inferring types. So type annotations are never required. That said, type annotations are used commonly and 100% supported.