lambda-calculus

4
ответов

6

Конвергенция математики и языков программирования

lambda-calculus language-design language-features logic math

5
ответов

6

Вывести первые n чисел последовательности Фибоначчи в одном выражении

fibonacci lambda lambda-calculus python recursion

6
ответов

7

Повторное использование лямбда-функции в Haskell

haskell lambda-calculus

2
ответов

8

Haskell для лямбда-исчисления, тип выведения

functional-programming haskell lambda lambda-calculus types

3
ответов

9

Что означает eta reduce в контексте HLint

haskell hlint lambda-calculus

1
ответов

13

Как вы формулируете N-арные типы произведений и сумм в этой типизированной Вселенной лямбда-исчисления?

algebraic-data-types data-kinds gadt haskell lambda-calculus

1
ответов

17

Шаги сокращения лямбда-исчисления

lambda-calculus

2
ответов

20

Что такое «свободная переменная»?

functional-programming haskell lambda-calculus

1
ответов

36

Как Хаскелл добавил Тьюринг-полноту в систему F?

haskell lambda-calculus system-f turing-complete type-systems

10
ответов

38

Что такое call / cc?

callcc continuations lambda lambda-calculus scheme