Corecursion означает обращение к данным на каждой итерации, которые больше или равны тем, что были у вас раньше. Corecursion работает с codata, которые представляют собой рекурсивно определенные значения. К сожалению, рекурсия значений невозможна в...

Я пытался перевести эту рекурсивную реализацию Haskell футуморфизма, специализированного на List s futuL :: (a -> Maybe (b, ([b], Maybe a))) -> a -> [b] futuL f x = case f x of Nothing -> [] Just (y, (ys, mz)) -> y : (ys ++...

Я играю с языком, чтобы начать учиться, и я неимоверно озадачен тем, как работает рекурсивное определение. Например, возьмем последовательность треугольных чисел ( TN n = sum [1..n] ) Предоставленное решение было: triangularNumbers = scanl1...