LambdaLisp
Languages and libraries
lisp interpreter
SHOW HN2022
189points
100comments
#307of 2,570 in 2022
Top 12%of 2022 by points
How HN took it
CuriousMostly questions and neutral comments
2 positive, 8 neutral or asking, 0 mixed, 5 critical, out of 15 comments about the project. Thread score -0.31.
Performance: 1 for, 2 againstIdea: 1 for, 1 againstDesign: 0 for, 1 against
The thread, comment by comment
Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.
positive neutral or mixed critical about another commenter or something else the maker
What HN said
What people liked
Mind-blowing and elegant demonstration of lambda calculus
From 2 comments
This is one of the most mind-blowing things I have ever seen. Words fail me, so I'll appropriate some of the author's: "Lisp has been described by Alan Kay as the Maxwell’s…
lisper on HNAs author of the Binary Lambda Calculus (BLC), I find this quite fascinating. It implements LISP in 163,654 bits of BLC. For comparison, minimal esoteric languages like BLC…
tromp on HN
Objections
Slow execution is expected; multiplication scales poorly
From 2 comments
This is undoubtedly cool, but I'd be really impressed if it wasn't stupidly slow. (I'm not saying it is stupidly slow, because I haven't had a chance to run it, just that I'd be…
actually_a_dog on HNIt has to be slow. Multiplication will be O(N^2)!
quickthrower2 on HN
Lisp is simpler and needs no reimplementation to show lambda
From 1 comment
Maybe I am stupid but what's the point in reimplementing lisp in lambda? Just to prove how beautiful simple lambda calculus is? The lambda functionality is allready in lisp. And…
zentr1c on HN
Questions
Does the list encoding match standard Mogensen-Scott encoding?
From 1 comment
As author of the Binary Lambda Calculus (BLC), I find this quite fascinating. It implements LISP in 163,654 bits of BLC. For comparison, minimal esoteric languages like BLC…
tromp on HN
Alternatives named
Binary Lambda Calculus
From 1 comment
As author of the Binary Lambda Calculus (BLC), I find this quite fascinating. It implements LISP in 163,654 bits of BLC. For comparison, minimal esoteric languages like BLC…
tromp on HN
Lazy K
From 1 comment
Thank you for taking a look, and many thanks for your constructive comments. I found the BLC language and interpreter to be elegant and that was what brought me here. I was…
woodrush on HN