3 ms·
> it's difficult to write a LC interpreter in LC. Why? It's pretty easy to write Lisp in LC (a simple Lisp, not the feature-full version described in TFA) and
by lisper 4y ago
> it's difficult to write a LC interpreter in LC.
Why? It's pretty easy to write Lisp in LC (a simple Lisp, not the feature-full version described in TFA) and it's pretty easy to write an LC interpreter in Lisp. I'll bet that an LC interpreter in LC could be done in only a few hundred lambda terms.
- tromp 4y ago> an LC interpreter in LC could be done in only a few hundred lambda terms. Make that a few dozen...
- lisper 4y agoYeah, I should have realized that. In fact, I had seen your BLC interpreter some time ago but for some reason it didn't come to mind as I was writing that. I must be getting old.
- haskellandchill 4y agolisper and kazinator need to put down the keyboard and spare some time for reflection. thanks tromp for your tireless efforts at education. big fan of your work!
- kazinator 4y agoGood point; a minimal Lisp needed for processing LC doesn't require the 42 page formula. That has features like mutable global variables.