3
ответа

Я использую звуковое эквациональное обоснование об определении фильтра с точки зрения foldr?

хорошо, это - определение функции фильтра, использующей foldr: myFilter p xs = foldr шаг [] xs, где шаг x ys | p x = x: ys | иначе = ys так, например, позволяют нам...
вопрос задан: 14 August 2015 01:28
0
ответов

Haskell: Equation Expander 1+ (1+ (1+ (1+ (…)))) = ∞

Существует ли расширитель уравнений для Haskell? Что-то вроде foldr.com: 1+ (1+ (1+ (1+ (…)))) = ∞ Я новичок в Haskell Мне сложно понять, почему определенные уравнения предпочтительнее, чем ...
вопрос задан: 23 May 2017 10:24