علامة lambda-calculus - هذه الصفحة 11 - GeneraCodice

Is the Church numeral encoding of natural numbers unnecessarily complicated?

https://www.generacodice.com/ar/articolo/3515602/is-the-church-numeral-encoding-of-natural-numbers-unnecessarily-complicated

  language-agnostic  -  lambda-calculus  -  sicp  -  church-encoding

StackOverflow

What is a “free variable”?

https://www.generacodice.com/ar/articolo/3501964/what-is-a-free-variable

  functional-programming  -  haskell  -  lambda-calculus

StackOverflow

What is a “free variable”?

https://www.generacodice.com/ar/articolo/3501840/what-is-a-free-variable

  functional-programming  -  haskell  -  lambda-calculus

StackOverflow

What is a “free variable”?

https://www.generacodice.com/ar/articolo/3501624/what-is-a-free-variable

  functional-programming  -  haskell  -  lambda-calculus

StackOverflow

what's this equation with lambda notation “ m >> n = m >>= \_ -> n ” in monad's declaration?

https://www.generacodice.com/ar/articolo/3309719/what-s-this-equation-with-lambda-notation-m-n-m-n-in-monad-s-declaration

  lambda  -  haskell  -  monads  -  lambda-calculus

StackOverflow

What does the lambda calculus have to say about return values?

https://www.generacodice.com/ar/articolo/3187200/what-does-the-lambda-calculus-have-to-say-about-return-values

  return-value  -  r  -  lambda-calculus

StackOverflow

Reusing a Lambda function in Haskell

https://www.generacodice.com/ar/articolo/3173947/reusing-a-lambda-function-in-haskell

  haskell  -  lambda-calculus

StackOverflow

Fixed point of K combinator

https://www.generacodice.com/ar/articolo/3102470/fixed-point-of-k-combinator

  y-combinator  -  lambda-calculus  -  fixpoint-combinators  -  k-combinator

StackOverflow

Functional Language for Untyped Lambda Calculus

https://www.generacodice.com/ar/articolo/3046075/functional-language-for-untyped-lambda-calculus

  compiler-construction  -  functional-programming  -  interpreter  -  lambda-calculus  -  untyped-variables

StackOverflow

S combinator in Erlang

https://www.generacodice.com/ar/articolo/3027535/s-combinator-in-erlang

  lambda  -  erlang  -  lambda-calculus  -  s-combinator

StackOverflow

• «
• 8
• 9
• 10
• 11
• 12
• 13
• »

العثور على نتائج: 627