Ten nápad s kontrolou typu hodnoty do už existující proměnné je perfektní. Je Dyon prvním jazykem, kde je to takto implementováno? Protože mi připadne že se pěkně kombinují možnosti statických typů a dynamických typů, protože i u dynamicky typovaných jazyků předpokládám, že se proměnná používá v jednom významu (pokud to není PHP :)
Tak ze je ten patek - https://github.com/tisnik/presentations/commit/dd3e8f717158f3bafd6a887b78ca247142376f1e