教会的lambda演算 [英] Church's lambda calculus

问题描述

Q1）有没有人看过Church博士的lambda演算使用C

而不是为逻辑设计的晦涩语言？


Q2）如何访问论坛档案？ MPJ

解决方案

" Merrill&米歇尔" <是******** @ comcast.net>在消息中写道

新闻：******************** @ comcast.com ...

Q1 ）有没有人看过Church博士的lambda演算的处理方法是使用
C而不是为逻辑设计的晦涩语言？


我没有。但话说回来，我从未看过。 :-)

Q2）如何访问论坛档案？

访问 www.groups.google.com


-Mike

在文章< Of ******************** @ comcast.com>，

Merrill& Michele< be ******** @ comcast.net>写道：

Q1）有没有人看过Church博士的lambda演算的处理方法，而是使用C
而不是为逻辑设计的晦涩语言？

令人怀疑，因为C不适合使用lambda

微积分（这两个模型的世界观太不一样了。）


如果你想找到一个使用

编程语言而不是数学符号的lambda演算的处理，你会更好

看看像Scheme这样的函数式语言。

dave


-

Dave Vandervies dj ****** @ csclub.uwaterloo.ca

我会向编译器供应商提出严重的QOI投诉如果

中的任何一个重新格式化了我的鼻子或导致Scott Nudds飞出我的硬盘。

- 在Kle.in.c中的Jack Klein

<集团kquote> On Fri，2004年9月10日16:48:42 +0000，Dave Vandervies写道：


< snip>

如果你想找到一个使用
编程语言而非数学符号处理lambda演算，你最好不要看一下像Scheme这样的函数式语言。

或者，如果你不喜欢所有这些括号，Perl：
http://perl.plover.com/lambda/

Q1) Has anyone seen a treatment of Dr. Church''s lambda calculus that uses C
instead of an obscure language designed for logic?

Q2) How does access the forum archives? MPJ

解决方案

"Merrill & Michele" <be********@comcast.net> wrote in message
news:Of********************@comcast.com...

Q1) Has anyone seen a treatment of Dr. Church''s lambda calculus that uses C instead of an obscure language designed for logic?
I haven''t. But then again, I never looked. :-)
Q2) How does access the forum archives?

Visit www.groups.google.com

-Mike

In article <Of********************@comcast.com>,
Merrill & Michele <be********@comcast.net> wrote:

Q1) Has anyone seen a treatment of Dr. Church''s lambda calculus that uses C
instead of an obscure language designed for logic?

Doubtful, since C doesn''t lend itself well to working with lambda
calculus (the world-view of the two models is too different).

If you want to find a treatment of the lambda calculus that uses a
programming language rather than mathematical notation, you''re better
off looking at a functional language like Scheme.
dave

--
Dave Vandervies dj******@csclub.uwaterloo.ca
I would lodge a serious QOI complaint with the compiler vendor if either of
these reformatted my nose or caused Scott Nudds to fly out of my hard drive.
--Jack Klein in comp.lang.c

On Fri, 10 Sep 2004 16:48:42 +0000, Dave Vandervies wrote:

<snip>

If you want to find a treatment of the lambda calculus that uses a
programming language rather than mathematical notation, you''re better
off looking at a functional language like Scheme.

Or, if you don''t like all those parentheses, Perl:
http://perl.plover.com/lambda/

这篇关于教会的lambda演算的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！