TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Lambda Calculus in 383 Bytes (2022)

313 点作者 MrBuddyCasino4 个月前

12 条评论

exikyut4 个月前
I&#x27;ve been attracted to this - along with 2D cellular automata - a bit like a moth to a flame for some time. I find the little machine visualisations mesmerising, the heavily parenthesized Greek representation charming (they look like standing orders written in an alien language, looking for all the world like space invaders) and the tiny code sizes magical.<p>But I can&#x27;t quite wrap my mind around the core concepts and internalize them into a mental model. It&#x27;s too different from the simple world of imperative C or scripting languages I guess I call home. So I&#x27;m left watching das blinkenlights from the outside, as my attention span chokes on the layers of computer science incorporated into typical explanations. *<i>shrug</i>*<p>I&#x27;d be very interested if anyone knows of an ELI5-style alternate path I could walk to break each of the concepts down one at a time. (I ask because I think this is (currently) the kind of thing I think ChatGPT would struggle to present as effectively as a human.)
评论 #42712423 未加载
评论 #42712698 未加载
评论 #42711439 未加载
评论 #42712248 未加载
评论 #42720165 未加载
评论 #42724004 未加载
评论 #42723639 未加载
评论 #42714336 未加载
jart4 个月前
Author here. If anyone wants to see an example of an awesome program you can run on the 520 byte version of my lambda calculus virtual machine (Blc) then check out <a href="https:&#x2F;&#x2F;github.com&#x2F;woodrush&#x2F;lambdalisp">https:&#x2F;&#x2F;github.com&#x2F;woodrush&#x2F;lambdalisp</a> If you run the command in that project, it&#x27;ll download my VM from the blog post, build a 20kb lambda expression you can pipe into it, and BOOM a fully object-oriented LISP REPL will appear in your terminal. It&#x27;s like magic. For an example expression, try typing (+ 2 3) and hit enter. Then type (let ((a 2) (b 3)) (+ a b)) and hit enter. You need an x86 linux machine to do this right now.
评论 #42722158 未加载
Joker_vD4 个月前
Does anyone have a gentle introduction on binary λ-calculus? I&#x27;ve tried reading other pages on this site but it goes a bit too fast for me understand what the hell is going on with it.
评论 #42713717 未加载
评论 #42718633 未加载
评论 #42712575 未加载
评论 #42714384 未加载
memming4 个月前
&quot;our 521 byte virtual machine is expressive enough to implement itself in just 43 bytes&quot; whaat!
评论 #42710890 未加载
dang4 个月前
Discussed at the time (but before it shrank):<p><i>Lambda Calculus in 400 Bytes</i> - <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=30493713">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=30493713</a> - Feb 2022 (63 comments)
stackghost4 个月前
I feel like I&#x27;ve accidentally stumbled into &#x2F;r&#x2F;VXJunkies with some of the terminology being thrown around in here.
kgeist4 个月前
&gt;nine=&quot;λλ [1 [1 [1 [1 [1 [1 [1 [1 [1 0]]]]]]]]]&quot;<p>Looks like Brainfuck in disguise :)
jkrubin4 个月前
Anytime i see a Justine post it’s a banger — i had not read this one.
bjourne4 个月前
Does it handle alpha-renaming? Most of the golfed interpreters I&#x27;ve seen over the years does not and hence does not handle the full untyped lambda calculus.
评论 #42711305 未加载
评论 #42711316 未加载
octagen4 个月前
Very interesting. Is it possible to imagine implementing an OS based on this ? I have been interested by lambda calculus for a while (implemented a lambda calculus interpreter in haskell) and was always wondering if people were working on &quot;functional computers&quot; and if it makes sense<p>Cheers,
rizky054 个月前
Does not work on mac:<p><pre><code> &gt; { printf 0010; printf 0101; } | .&#x2F;lambda.com; echo zsh: done { printf 0010; printf 0101; } | zsh: segmentation fault .&#x2F;lambda.com</code></pre>
评论 #42711375 未加载
jsmo4 个月前
Moar upboats plz!