Вопросы с тегом эквациональное-рассуждение - PullRequest

Вопросы с тегом эквациональное-рассуждение

13 голосов
3 ответов

Существует ли расширитель уравнений для Haskell? Что-то вроде foldr.com : 1+(1+(1+(1+(…))))=∞ Я...

Miguel A. Friginal / 10 декабря 2010
6 голосов
3 ответов

хорошо, это определение функции фильтра с использованием foldr: myFilter p xs = foldr step [] xs...

Azriel / 02 февраля 2010
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...