Church's lambda calculus

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" <beckjensen@comcast.net> wrote in message
news:Of2dna4Qm5x3V9zcRVn-sw@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 <Of2dna4Qm5x3V9zcRVn-sw@comcast.com>,
Merrill & Michele <beckjensen@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                                 dj3vande@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/

Merrill & Michele wrote:
>
> 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

http://groups.google.com/groups?sel...ian.ccrwest.org

That post has the term "lambda calculus" in it,
in reference to a program called loader.c,
but I don't understand a lot of that post.

--
pete

....snip...



Thank you all for your replies.  I apologize for sloppy posts, as I do not
read well off the screen and am now attempting my first pasting in of a
message that antecedently exists as a hard copy.



1)       Mr. Wahler I thank for his link to the archives.  My follow-up
question is:  does there exist a server on which there exists the posts of
comp.lang.c for the last n years?



2)       To Mr. Bart I ask:  Do you know anyone outside of the academy who
uses Scheme?  As for Perl, I'm too old a dog..



3)       Mr. Vandervies, you don't seriously doubt the inability of C to
make Scott Nudds fly?  Can the same be said of Richard Heathfield and MY
hard drive?



4)       Pete:  A very interesting program.  Worth looking at.



Again thanks all.  MPJ

Merrill & Michele wrote:

> 1)       Mr. Wahler I thank for his link to the archives.  My follow-up
> question is:  does there exist a server on which there exists the posts of
> comp.lang.c for the last n years?

<URL:http://groups.google.com/>, in particular
<URL:http://groups.google.com/groups?hl=...oup=comp.lang.c>
>
>
>
> 2)       To Mr. Bart I ask:  Do you know anyone outside of the academy who
> uses Scheme?  As for Perl, I'm too old a dog..

Both Scheme and Lisp are alive and kicking in a number of commercial
products. These products are used by people as varied as medical
diagnosticians to political campaign strategists.

snip 
of 
>
> <URL:http://groups.google.com/>, in particular
> <URL:http://groups.google.com/groups?hl=...oup=comp.lang.c>


As I activate the latter link and enter "foo", the search engine tells me
that I'm looking for "foo fighters".  If I needed more fighters, I'd drive
two miles to the Teamsters.  I refuse to believe that it hasn't dawned on
someone with minor means to serialize this forum. 
who 
>
> Both Scheme and Lisp are alive and kicking in a number of commercial
> products. These products are used by people as varied as medical
> diagnosticians to political campaign strategists.

Are Scheme and Lisp basically the same things?  That monkeys (=political
campaign folks) tap keyboards does not impress this Ohio native.  Smear
tactics seem to win the day in the battle of the dirigibles.  Do I recall
correctly from diagnostics that it ploughed through user-defined cases?  MPJ

"Merrill & Michele" <beckjensen@comcast.net> wrote in message news:<DJ-dnRNj
mISgOt_cRVn-gA@comcast.com>...

> snip
 

>

> As I activate the latter link and enter "foo", the search engine tells me

> that I'm looking for "foo fighters".



Make sure you click on the "search only in comp.lang.c.*" button
before doing your search, otherwise it will search all newsgroups.

On Fri, 10 Sep 2004 19:32:41 -0500, Merrill & Michele wrote:

> 2)       To Mr. Bart I ask:  Do you know anyone outside of the academy who
> uses Scheme?  As for Perl, I'm too old a dog..

First, my name is Barts, not Bart. I don't know why people drop the final
s.

Scheme, in the form of the Guile system, is the official extension
language of the GNU Project. That is, people are encouraged to write
programs that include the Guile Scheme interpreter so people can extend
those applications without recompiling them.

Lisp, in the form of Emacs Lisp, is the most powerful and probably the
most-used programming language included with a text editor. You can do a
web search for Emacs and Emacs extensions to find many examples of people
writing real programs in Emacs Lisp.

Scheme and Lisp are two closely related languages, in that they share a
common lineage and have many elements in common. Someone skilled in a Lisp
dialect can learn Scheme very easily, and vice-versa.