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)
Переместить
Удалить
Выделить ветку
Проголосовать
Пока на собственное сообщение не было ответов, его можно удалить.
Удалить
Проголосовать
Заголовок: