ok is a strongly-duck-typed language. It has the rigidness and runtime safety of a strongly-typed language while providing a lot flexibility through interfaces and a simplified typing system.

You can try it now (with examples) at play.getok.dev, or read more about the language highlights in Why OK?.

Visit the wiki for full documentation.