What type of lambda calculus would Lisp loosely be an example of?

Posted by Jason Baker on Stack Overflow See other posts from Stack Overflow or by Jason Baker
Published on 2010-05-01T15:04:42Z Indexed on 2010/05/01 15:07 UTC
Read the original article Hit count: 301

Filed under:

lisp

|

lambda-calculus

|

type-theory

I'm trying to get a better grip on how types come into play in lambda calculus. Admittedly, a lot of the type theory stuff is over my head. Lisp is a dynamically typed language, would that roughly correspond to untyped lambda calculus? Or is there some kind of "dynamically typed lambda calculus" that I'm unaware of?

© Stack Overflow or respective owner

Related posts about lisp

Why is Lisp useful?

as seen on Programmers - Search for 'Programmers'
Lisp obviously is an advantage for the AI stuff but it doesn't appear to me that Lisp is any faster than Java, C#, or even C. I am not a master of Lisp, but I find it incredibly difficult to understand the advantage one would get in writing Business Software in Lisp. Yet it is considered as a hacker's… >>> More
Why do you like Lisp ?

as seen on Programmers - Search for 'Programmers'
Why does Paul Graham advocate Lisp? Why did ITA Software choose Lisp over other High Level languages? Lisp obviously is an advantage for the AI stuff but I don't think Lisp is any faster than Java, C# or as a matter of fact faster than C. Still it is considered as a Hackers language? I am not a master… >>> More
Emacs 23.1 make error 139 in Mac OS X 10.6.3

as seen on Stack Overflow - Search for 'Stack Overflow'
When I try to compile GNU Emacs 23.1 on my machine with Mac OS X 10.6.3 I repeatedly get the following ending: Directories: /src/emacs-23.1/lisp/. /src/emacs-23.1/lisp/./calc /src/emacs-23.1/lisp/./calendar /src/emacs-23.1/lisp/./emacs-lisp /src/emacs-23.1/lisp/./emulation /src/emacs-23.1/lisp/./erc… >>> More
Why not port Linux kernel to Common Lisp?

as seen on Stack Overflow - Search for 'Stack Overflow'
Conventional wisdom states that OS kernels must be written in C in order to achieve the necessary levels of performance. This has been the justification for not using more expressive high level languages. However, for a few years now implementations of Common Lisp such as SBCL have proven to be… >>> More
Lisp Style question label local functions or not?

as seen on Stack Overflow - Search for 'Stack Overflow'
I was wondering if there is a standard practice regarding the use of labels in Lisp. I've been messing around with a Lisp implementation of the algorithm described in the first answer here http://stackoverflow.com/questions/352203/generating-permutations-lazily My current version uses labels to… >>> More

Related posts about lambda-calculus

What are some resources for learning Lambda Calculus?

as seen on Stack Overflow - Search for 'Stack Overflow'
So the Wikipedia entry on Lambda Calculus was interesting but I've finished it. I wish to dive a little deeper and get a better understanding of Lambda Calculus. Can anyone recommend what they consider to be the best book or primer to Lambda Calculus? >>> More
Query on Booleans in Lambda Calculus

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi All, I have following query on lambda calculus which am not able to understand: Here is the lambda calculus representation for the AND operator: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b Can anyone help me in understanding this representation? Regards, darkie >>> More
Query on Booleans in Lambda Calculus

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi All, I have following query on lambda calculus which am not able to understand: Here is the lambda calculus representation for the AND operator: lambda(m).lambda(n).lambda (a).lambda (b). m(n a b) b Can anyone help me in understanding this representation? Regards, darkie >>> More
Convert Python to Haskell / Lambda calculus

as seen on Stack Overflow - Search for 'Stack Overflow'
What is the Python code in Haskell and Lambda calculus? def f1(): x = 77 def f2(): print x f2 f1 My attempt in lambda calculus \x. 77 (\x.x) >>> More
How helpful is knowing lambda calculus?

as seen on Stack Overflow - Search for 'Stack Overflow'
To all the people who know lambda calculus: What benefit has it bought you, regarding programming? Would you recommend that people learn it? >>> More