combinators

6зной

1ответ

Возможно ли, чтобы представленный случай был оптимизирован в один цикл?

Предположим, у меня есть две функции: f :: [a] -> b и g :: [a] -> c. У меня есть следующие два вопроса: Если я выполняю (f &&& g) xs где xs :: [a], и если оба f и g включают петли, возможно ли компиля

haskell functional-programming combinators 2012-02-08

---

8зной

5ответ

Какова общая схема написания функции в стиле без ограничений?

Я работаю через 20 Intermediate Haskell Exercises на данный момент, что довольно весело. Он включает в себя реализацию различных экземпляров типов Functor и Monad (и функции, которые принимают Functor

haskell higher-order-functions combinators pointfree 2011-12-30

---

33зной

14ответ

Какое интересное использование функций более высокого порядка?

В настоящее время я занимаюсь курсом функционального программирования, и меня очень удивляет концепция функций и функций более высокого порядка как граждан первого класса. Тем не менее, я пока не могу

function haskell functional-programming combinators higher-order-functions 2011-04-26

---

1зной

2ответ

функция слияния/комбинатор в FSharp

У меня есть список функций, принимающих тот же тип входа, различные типы в качестве выходного [ f_i : Mytype -> res:Sometype_i ] Какие операции можно объединить их в одну функцию следующего вида? f

f# functional-programming combinators 2012-02-23

---

2зной

2ответ

Генератор неподвижных точек в генераторах C#

Я попытался определить генератор с фиксированной точкой в ​​C#, который вы видите на многих функциональных языках. Я считаю, что foldr обычно определяется в терминах генератора с фиксированной точкой.

c# haskell functional-programming combinators 2012-01-10

---

5зной

3ответ

Тип подпись комбинатора не соответствует сигнатуру его эквивалентной функции лямбда

Рассмотрим комбинатор: S (S K) применить его к аргументам XY: S (S K) X Y Он стягивается: X Y Я преобразовал S (SK) в соответствующие лямбда-термины и получил этот результат: (\x y -> x y) Я и

haskell lambda-calculus combinators type-signature combinatory-logic 2012-03-06

---

5зной

1ответ

Что это комбинатор сделать: s (ск)

теперь я понимаю, тип подписи s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 И я могу создать примеры, которые работают без ошибок в инструменте Haskell WinGHCi: Пример: s (s k) (\g -> 2

haskell lambda lambda-calculus combinators combinatory-logic 2012-03-12

---

6зной

1ответ

выражение исчисления Лямбда функции реализации приложения

Я только нашел следующее выражение лямбда-исчисление: (((λ f . (λ x . (f x))) (λ a . a)) (λ b . b)) Так что это функция, которая принимает аргумент п и возвращает другую функцию, которая принимает а

lambda functional-programming lambda-calculus higher-order-functions combinators 2012-02-01

---

12зной

2ответ

Складной flatMap/связывающийся над списком функций (он же имя, которое Combinator!)

В процессе написания простой RPN калькулятор, у меня есть следующие псевдонимы типа: type Stack = List[Double] type Operation = Stack => Option[Stack] ... и я написал любопытный вид линия Scala код

scala haskell combinators 2012-01-03

---