Právě, že ta moje definice mi přijde užitečnější. Takové jazyky existují a odlišují se od ostatních vyšší bezpečností.
Výhodou mých definic je, že jsou jasné.
> Že je staticky nemůže zvládnout zkontrolovat stoprocentně už jsme si řekli …
Není problém udělat to, že když něco neumím staticky zkontrolovat, tak to prohlásím za chybu. Tím už v době překladu zaručím typovou bezpečnost.