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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

Pantagruel: An Unambiguous, Undefined Program Specification Language

40 点作者 crux超过 6 年前

4 条评论

egypturnash超过 6 年前
This involves a whole lot less ass-wiping[1] than I was expecting it to.<p>1: <a href="https:&#x2F;&#x2F;ebooks.adelaide.edu.au&#x2F;r&#x2F;rabelais&#x2F;francois&#x2F;r11g&#x2F;book1.13.html" rel="nofollow">https:&#x2F;&#x2F;ebooks.adelaide.edu.au&#x2F;r&#x2F;rabelais&#x2F;francois&#x2F;r11g&#x2F;book...</a>
评论 #18118913 未加载
评论 #18120672 未加载
simcop2387超过 6 年前
I&#x27;m curious how the parsing must work because I can&#x27;t unambiguously see how this line is parsed<p>fib x ← fib x − 1 + fib x − 2<p>Why is that parsed to behave correctly like<p>fib x ← fib (x − 1) + fib (x − 2)<p>And not,<p>fib x ← fib( x − 1 + fib ( x − 2 ))<p>Or even this, though it wouldn&#x27;t produce a sane program<p>fib x ← fib ( x ) − 1 + fib ( x ) − 2
评论 #18119385 未加载
评论 #18119430 未加载
AnthonBerg超过 6 年前
I’m interested.<p>And: I’m still attempting to understand copatterns, but this is quite reminescent of copatterns. That’s all I have.
slx26超过 6 年前
Finally someone who writes a proper and honest &quot;Who would be interested in this?&quot;. Thanks.