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 :)