On: Open-sourcing Sorbet: a fast, powerful type checke...

[dnautics]

> a Julia program is a superposition of every optimized implementation of an algorithm and explicit types are used to access and manipulate a subgroup of implementations.

That is an amazing description of what it is!