[codr7]

Smells like Swift to me; too much specialization, everything reads like a contract.

[karkob]

It's a general-purpose language, it starts to make sense as soon as you rich ~100 possible states in your code, which actually is a small number

[sitkack]

> everything reads like a contract.

Sounds like plan! Sign me up.