Здравствуйте, Андрей Хропов, Вы писали:

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

Стандартный прием, который используется в Хаскеле, и который многократно видел поданный как совет в разных книжках статьях и прочее. Очень простой: "Если не ясно как должна выглядеть функция, сначала напиши её тип".

Например, недавно вышла книжка по Хаскель основы, Hutton автор, название не помню. Там он часто упоминается на простых примерах. Я писал о нем, попытавшись как то его формализовать, как всегда не зная, что это сделано до нас но там, правда, тип был уже заранее известен.

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