C中的lambda演算：布尔和非运算符

Question

C中的lambda演算：布尔和非运算符

7

我希望为布尔值和非运算符的lambda演算构造提供不同编程语言的实现。

这些包括：

TRUE = lx.ly. x
FALSE = lx.ly. y
NOT = lx. x FALSE TRUE

在JavaScript和Python中执行这个任务非常简单，就像这样：

var TRUE = function(x,y){ return x;} 
var FALSE = function(x,y){ return y;}
var NOT = function(b){ return b(FALSE,TRUE) ; }

但我无法想出如何使用C语言实现。在实现类似功能的时候，一个天真的想法是：

lambda true(lambda x, lambda y){ return x ; }
lambda false(lambda x, lambda y){ return x ; }

lambda not(lambda (b)(lambda, lambda) ){ return b(false,true) ;}

似乎在C语言中不可能实现，因为typedef不允许递归定义。

typedef void (*lambda)(lambda,lambda) ;not valid in C

有没有办法用C语言实现？有没有一种有意义的教育示例可以使用？也就是说，如果语法开始变得复杂，它最终会失去其目的... 如果C在任何方面都过于受限，则C ++的答案对我也有用，尽管具有相同的“复杂性”约束条件。也许我对C期望太高了。编辑：根据评论中Tom的建议，以下定义确实编译。

typedef void *(*bol)() ;

bol true(bol x, bol y){ return x ; }
bol false(bol x, bol y){ return x ; }

bol not(bol b ){ return b(false,true) ;}



int main(){
 bol p = not((bol)true);

 return 0;
}

编辑2：然而，正如Tom和其他人指出的那样，这并不严格符合标准。

此外，正如@Antti Haapala和@n.m所指出的，这可能要求C语言承担过多。

目前我对于在C++中实现一个足够简单的方案持怀疑态度。

- MASL

评论不适合进行长时间的讨论；此对话已被移至聊天室。 - Andy

@Andy，现在这个时机真糟糕......因为太晚了。讨论早已结束。没有Tom、n.m.和Antti的启发性评论，这个主题现在已经死了。这对任何人都没有帮助。 - MASL

编写一个能够理解lambda代码的迷你解释器是否可行？ - Déjà vu

@MASL 如果这里或者聊天记录中有具有持久价值的评论，应该将它们移动到（现有的）答案中，以便1）对其进行总结和搜索，而不是像评论那样；2）可以进行投票；3）不易被删除且更加突出易于访问。 - Jon Clements

1

@JonClements，那么评论的意义是什么呢？留下的所有评论，包括这个评论，在任何情况下都没有太大的价值，更不用说持久的价值了。也许stackoverflow应该在几个小时后自动将所有评论移到垃圾箱中... - MASL

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Iłya Bursov · Accepted Answer

我知道的C语言声明递归结构的唯一方式是使用struct，像这样: ``` 通过struct来声明递归类型是C语言中定义递归类型的常见方式，具有很高的可读性和易用性。 ```

#include <stdio.h>
#include <stdarg.h>

typedef struct LAMBDA {
    struct LAMBDA * (*function)(struct LAMBDA *, ...);
} *lambda;

lambda trueFunction(lambda x, ...) {return x;}
lambda true = &(struct LAMBDA) {.function = trueFunction};

lambda falseFunction(lambda x, ...) {va_list argp; va_start(argp, x); lambda y = va_arg(argp, lambda); va_end(argp); return y;}
lambda false = &(struct LAMBDA) {.function = falseFunction};

lambda notFunction(lambda b, ...) {return b->function(false, true);}
lambda not = &(struct LAMBDA) {.function = notFunction};

int main() {
    lambda p1 = not->function(true);
    lambda p2 = not->function(false);
    printf("%p %p %p %p", true, p1, false, p2);
    return 0;
}

对于我来说，很难判断这种语法是否过于繁琐，显然比动态语言不够清晰。