- A typy samotné jsou i vcelku obstojná dokumentace. Rozumné typy dost redukují potřebné množství okolního textu. A na rozdíl od názvů nebo komentářů vždycky odpovídají aktuálnímu chování kódu.
Mimoto názvy mají být v pořádku vždy, typované jazyky nejsou žádnou výjimkou (jak si mnozí myslejí).
Zde bych se odpíchnul já. Typy, a bavím se o statickém typování, vychází z předpokladu, že vše se zkontroluje předem (haskell). Zatímco netypové jazyky chtějí možnost opravovat to až za běhu (erlang). A pak jsou různé mezistupně, které pomáhají ke zmatení nepřítele.