lambda-calculus

相关标签：javascript jquery android 多少钱 iPhone

S combinator in Erlang

I\'m starting to learn lambda calculus and I need to implement I, S, K combinators in Erlang. Of course, S, K, I stands for:[详细]

2023-04-13 06:08 分类：问答
Translating a Lambda Expression into Scheme

I 开发者_JAVA百科have this lambda lambda expression : λx.(λy.(λz.x(yz))) I\'m trying to write a Scheme expression out of it.[详细]

2023-04-05 12:58 分类：问答
Lambda calculus problem

I gotta solve a lambda calculus problem. I reached certain point and I don´t know how to continue: h f x = \\g -> g (f x g)[详细]

2023-04-01 23:38 分类：问答
Y-combinator in D?

I\'m trying to learn the Y-combinator better (I sort of understand it in Scheme) and implement it in D 2.0, and I\'m failing pretty miserably:[详细]

2023-03-25 23:02 分类：问答
Subtraction of church numerals in haskell

I\'m attempting to implement church numerals in Haskell, but I\'ve hit a minor problem. Haskell complains of an infinite type with[详细]

2023-03-17 11:36 分类：问答
Calling/applying lambda vs. function call - the syntax in Ruby is different. Why?

I am kinda new to Ruby and still trying to understand some of the language design principles. IF I\'ve got it right, the lambda expression call in Ruby must be with square brac开发者_JS百科es, while t[详细]

2023-03-12 14:59 分类：问答
Call by value in the lambda calculus

I\'m working my way through Types and Programming Languages, and Pierce, for the call by value red开发者_如何学JAVAuction strategy, gives the example of the term id (id (λz. id z)). The inner redex i[详细]

2023-03-09 15:26 分类：问答
To prove SKK and II are beta equivalent, lambda calculus

I am new to lambda开发者_如何学C calculus and struggling to prove the following. SKK and II are beta equivalent.[详细]

2023-02-28 21:17 分类：问答
What does eta reduce mean in the context of HLint

I\'m looking at the tutorial http://haskell.org/haskellwiki/How_to_write_a_Haskell_program import System.Environment[详细]

2023-02-28 16:32 分类：问答
Iteration function in lambda calculus

I ha开发者_开发知识库ve a function like this iter :: Int -> (a -> a) -> a -> a iter n f a = f (f ... (f a) .. )[详细]

2023-02-28 07:57 分类：问答