Názory k článku Dyon: spojení předností Rustu a dynamicky typovaných programovacích jazyků (2.část)

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

to fakt umožňuje používat ony paznaky jako unicode?

proč to potom nemáte ve svých ukázkách, to musí vypadat sexy :0)