Согласно http://www.reddit.com/r/programming/comments/gwqa2/the_real_point_of_laziness/ c1rslxk
Некоторые алгоритмы не заканчиваются на нетерпеливом языке, другие - на ленивом, и (что меня немного шокирует) наоборот.
Первый, конечно, хорошо известен, но последнее кажется мне, если оно истинным, значительно большим, чем легкий шок.
Кто-нибудь знает алгоритм, который завершается на нетерпеливом языке, но не на ленивом?
Я собираюсь выйти на конечность и заявить, что ни один алгоритм, который заканчивается в чисто функциональной нетерпеливой среде, не сможет завершиться в чисто функциональной ленивой среде.
В статье, которая обсуждалась, об этом не говорится, за комментарием следует запрос примера, который не соответствует. Поэтому, пока не будет найден пример, я собираюсь сказать нет.