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 HN
    • 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

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 HN
    • It 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

Category, keywords, summaries and labels on this page were made by AI (Thread Reader v2) and not checked by hand. Each point links to the comments it came from.

Add a badge to your READMEShown on HackerShow
[![Shown on HackerShow](https://hackershow.org/badge.svg)](https://hackershow.org/show/32879848)