Насчет out-of-memory: вот в SML встроена поддержка этого безобразия в виде выбрасываемого исключения. Можно не только поймать исключение и сразу выдать лучший накопленный вариант плюс Abort, заработав сколько-то очков вместо нуля, но и реализовать более нетривиальный обработчик, например, заменив рабочий алгоритм поиска на более тупой и не такой прожорливый. В хаскеле нету что ли чего-нибудь в этом роде? Я, правда, пока не представляю себе, как это должно выглядеть в ленивом языке...
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
asenathwaite
(no subject)
Date: 2012-07-17 09:10 am (UTC)