TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Pantagruel: An Unambiguous, Undefined Program Specification Language

40 pointsby cruxover 6 years ago

4 comments

egypturnashover 6 years ago
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 未加载
simcop2387over 6 years ago
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 未加载
AnthonBergover 6 years ago
I’m interested.<p>And: I’m still attempting to understand copatterns, but this is quite reminescent of copatterns. That’s all I have.
slx26over 6 years ago
Finally someone who writes a proper and honest &quot;Who would be interested in this?&quot;. Thanks.