Re: [Haskell] проверка на _|_
От: thesz Россия http://thesz.livejournal.com
Дата: 18.05.09 13:47
Оценка:
N>Как на Haskell написать функцию :: [a] -> (), которая равна (), если список пуст или хотя бы одно значение из списка не _|_, и _|_ в противном случае?
N>На машине Тьюринга такое сделать можно.

*MainLayout> foldr seq () [1,error "aaa"]
*** Exception: aaa
*MainLayout> foldr seq () [1,2]
()
Yours truly, Serguey Zefirov (thesz NA mail TOCHKA ru)
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.