Questions tagged [lambda-calculus]
For questions about the lambda calculus, a formal mathematical model of functional computation introduced by Alonso Church
8 questions
3
votes
2
answers
455
views
Does a Rust implementation of the Monkey programming language require a garbage collector?
Awhile back I wrote a Rust implementation of the Monkey programming language by Thorsten Ball (https://monkeylang.org/). When I got done with it I was a bit surprised that I never used an Arc/Rc ...
- 139
-7
votes
3
answers
599
views
What's the point of type safety? [closed]
It has been advertised that in type-safe languages, well-typed programs never go wrong, but this doesn't like a legit statement to me:
Array indexing is usually by int, but we can freely send out of ...
- 2,748
1
vote
1
answer
536
views
What are some useful corollaries of the preservation theorem?
I was told that in a lambda calculus, if you have the notion of locks and concurrency, and you can prove it progress, then it means it's free of deadlocks. But is there any useful corollaries of ...
- 2,748
7
votes
2
answers
454
views
What kind programming language corresponds to sequent calculus?
It is commonsense that STLC corresponds to Gentzen's natural deduction proof system, where the elimination of implication is defined in terms of modus ponens. Sequent calculus, however, is more of a &...
- 2,748
3
votes
1
answer
329
views
Call-by-value: Left-to-right vs right-to-left
There are three standard evaluation strategies for the lambda calculus:
Call-by-value (CBV)
Call-by-name
Call-by-need
There are two variants of CBV that differ on how they behave with respect to ...
- 209
8
votes
1
answer
581
views
Possible ways for a system interface in a lazy LC language?
I'm writing a backend for lazy lambda calculus. Now I'm curious about how it could interface with the system. As an experiment, I managed to write READ and WRITE primitives, each of which does the ...
- 733
7
votes
1
answer
164
views
A lambda calculus backend without data constructors and `case`, what could go wrong?
I'm working on a lazy lambda calculus backend. I'm roughly following the concepts from Implementing functional languages: a tutorial. It presents Core as an intermediate language, and it has data ...
- 733
11
votes
1
answer
352
views
Runtime/Backend for a lazy, pure functional, lambda-calculus-based language?
I'm thinking of writing a toy language based on lambda calculus. I want it to be lazily evaluated. I/O is not a concern for now; main will be a pure function that ...
- 733