from Hacker News

Pantagruel: An Unambiguous, Undefined Program Specification Language

by crux on 10/1/18, 12:01 PM with 9 comments

• by egypturnash on 10/2/18, 4:29 AM

  This involves a whole lot less ass-wiping[1] than I was expecting it to.

  1: https://ebooks.adelaide.edu.au/r/rabelais/francois/r11g/book...

• by simcop2387 on 10/2/18, 6:23 AM

  I'm curious how the parsing must work because I can't unambiguously see how this line is parsed

  fib x ← fib x − 1 + fib x − 2

  Why is that parsed to behave correctly like

  fib x ← fib (x − 1) + fib (x − 2)

  And not,

  fib x ← fib( x − 1 + fib ( x − 2 ))

  Or even this, though it wouldn't produce a sane program

  fib x ← fib ( x ) − 1 + fib ( x ) − 2

• by AnthonBerg on 10/2/18, 8:46 AM

  I’m interested.

  And: I’m still attempting to understand copatterns, but this is quite reminescent of copatterns. That’s all I have.

• by slx26 on 10/2/18, 6:59 AM

  Finally someone who writes a proper and honest "Who would be interested in this?". Thanks.