вчера я так и не понял, сколько надо написать тестов, чтобы быть уверенным в работоспособности кода. и что там вообще с вероятностью отвалиться на граничных случаях(которые никто не тестит).

Вопрос не в том, сколько написать тестов. А в том, как написать ВСЕ тесты.

не, я как раз больше динамику люблю.
просто тут любопытна именно эта граница.
и что быстрее: описать тесты или накидать типы

Простите, что вмешаиваюсь в умный диалог, но при всей моей любви к Хаскелю, тамошний тайпчекер не отловит попытку взятия головы от пустого списка и прочие нетотальные функции, что приведет к краху по эррору именно в рантайме, включая то же пресловутое деление на 0. Поэтому говорить, что наличие системы типов (даже такой сильной как в Хаскеле, если оставить в стороне Идрисы и прочее) автоматически что-то там гарантирует как минимум слишком оптимистично. И это еще если не рассматривать чисто логические ошибки, которых по некоторым оценкам гораздо больше в коде.

а emacs  падает и с командной строки падает

больше платить приходится во всяких адовых языках где и проверять-то особо ничего не проверяется, вроде явы какой-нибудь