Hacker News new | ask | show | jobs
by lisper 1376 days 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.
2 comments
kazinator 1376 days ago
Good point; a minimal Lisp needed for processing LC doesn't require the 42 page formula. That has features like mutable global variables.
link
tromp 1376 days ago
> an LC interpreter in LC could be done in only a few hundred lambda terms.

Make that a few dozen...

link
lisper 1376 days ago
Yeah, 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.
link
haskellandchill 1376 days ago
lisper 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!
link