Comment on Unison | A friendly, statically-typed, functional programming language from the future · Unison programming language
python-level intuitive-to-read language with static typing
Agreed, this is exactly Nim