lambda-calculus

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

First-order parametric polymorphism and first-order function

I开发者_运维技巧 am reading the paper Generics of a Higher Kind, the first sentence is With Java 5 and C# 2.0, first-order[详细]

2023-02-18 22:23 分类：问答
Why isn't lambda calculus used much (at all)?

Why is pure untyped lambda calculus often described as being impossible to use? With a suitable library of functions would it not be about the same as any other function开发者_如何学运维al language?S[详细]

2023-02-08 22:43 分类：问答
SKI transform, how to program in a functional language

I am facing the following Prolog code. The expression [X]>>Y stands for the lambda expression lambda X.Y. The code eliminates the lambda[详细]

2023-02-06 11:01 分类：问答
Lambda Calculus operators precedence

I have problems understanding lambda calculus operators precedence. For example the following code: lambda x.x z lambda y.x y[详细]

2023-02-06 10:18 分类：问答
lambda calculus question - concrete

I have the following开发者_StackOverflow社区 (f.x.f(f x))(y.y+1) = x.(y.y+1)((y.y+1) x) = x.(y.y+1)(x+1)[详细]

2023-02-05 07:42 分类：问答
Y Combinator in Scheme using Define

In order to learn what a fixed-point combinator is and is used for, I wrote my own. But instead of writing it with strictly anonymous functions, like Wikipedia\'s example, I just used define:[详细]

2023-02-03 23:22 分类：问答
How to parse lambda term

I would like to parse a lambda calculus. I dont know how to parse the term and respectparenthesis priority. Ex:[详细]

2023-01-30 16:25 分类：问答
Lambda calculus help

So i\'m totally stuck on this one part of a problem. It would be awesome if someone could help.........[详细]

2023-01-26 16:23 分类：问答
How would you implement a fixed-point operator (Y combinator) in F#?

I\'m using F# to create a lambda calculus. I am currently stuck trying to figure out how I would implement the fixed-point operator (also called Y combinator).[详细]

2023-01-23 01:09 分类：问答
Practical application of SKI calculus and BCKW

I can understand how to create and think about the SKI and BCKW calculus, but I am never able to find practical uses.开发者_运维问答Maybe I am not looking deeply enough?That is, I wonder if (an exampl[详细]

2023-01-15 22:47 分类：问答