Здравствуйте, lomeo, Вы писали:

VD>>Кстати, в Хаскеле и Окамле тоже обычно описывают типы фунций.
VD>>Там это не обязательно. Но это действительно позволяет упрощать выявление ошибок и конечно же повышает скорость компиляции.

L>Позволяет упрощать выявление ошибок, может быть, но связано это не с этим. Причины совершенно другие. Если я пишу функцию, реализация которой мне изначально понятна, я записываю её без типа. Если я пишу функцию, которую сходу написать не могу, то часто пользуюсь методом — "писать от типа". Это очень удобно, потому что тип более-менее ясен, так как я представляю что должна делать функция, а уж из типа вывожу реализацию.

Что ты под этим ("писать от типа") понимаешь? Я не очень понял. Можно пример?