currying

4зной

1ответ

Можно ли «разогнать» полный квантор?

Предположим, что у нас есть конструктор типа f, который принимает два типа с помощью пары, созданной DataKinds. forall (f :: (ka, kb) -> *) Затем я могу реализовать функцию forward, которая подобна

haskell currying type-level-computation data-kinds higher-rank-types 2016-09-06

---

2зной

1ответ

Была ли причина, по которой у Haskell были функции с одним аргументом, как lambda calculus?

В LYAHFGG we read: Каждая функция в Haskell официально принимает только один параметр. В этом описании Lambda Calculus we read: Второе упрощение, что λ-исчисление использует только функции одного вход

haskell arguments currying lambda-calculus 2016-07-30

---

3зной

1ответ

В Scala, возможно ли «curry» типа параметров def?

Давайте предположим, что у меня есть размораживание, который принимает несколько параметров типа: def foo[A, B, C](b: B, c: C)(implicit ev: Writer[A]) Однако предполагаемое использование является то,

scala currying type-parameter type-level-computation 2016-08-17

---

4зной

2ответ

Частичное применение конструктора данных

Я не понимаю, почему следующее упражнение «работает» в Haskell программирования из первых принципов: type Subject = String type Verb = String type Object = String data Sentence = Sentence Sub

haskell currying partial-application 2016-08-31

---

2зной

1ответ

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

Принимая три функции ниже, реализованные в Haskell и Clojure соответственно: f :: [Int] -> Int f = foldl1 (+) . map (*7) . filter even (defn f [coll] ((comp (partial reduce +) (parti

haskell clojure functional-programming currying transducer 2016-09-04

---