я убедительно прошу каждого евангелиста сильной типизации сначала написать парсер markdown, чтобы увидеть своими глазами ситуацию, в которой типы не приносят вообще никакой пользы.
Ну просто если человек это путает смысл дальше читать? А вообще все еще от системы типов зависит. С хреновой системой типов динамическая типизация и вправду может быть удобнее.