Názor k článku Úvod do jazyka Reason: reference a generalizace od ded.kenedy - staticky typované programy jsou přehlednější, neb statické typy...

staticky typované programy jsou přehlednější, neb statické typy slouží jako dokumentace, kterou kompilátor umí zkontrolovat.

Toto slycham uz petadvacet let. V davnych casech se to pouzivalo k dukazu nadrazenosti Pascalu nad cimkoliv, protoze ten te jeste nutil na zacatku procedury deklarovat hezky vsechny promenne, navesti a tak, abys nahodou na nic nezapomnel a nemohl udelat chybu.