#syntaxrules — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #syntaxrules, aggregated by home.social.
-
🤓 Ah yes, the riveting saga of "normal-order syntax-rules" and the elusive call/cc fix-point, where syntax rules magically transform into a proof assistant. 🧙♂️ Because what better way to celebrate Daniel P. Friedman than with a marathon of indecipherable jargon and fewer common examples no one asked for. 🎉
https://okmij.org/ftp/Scheme/callcc-calc-page.html #normalordersyntax #syntaxrules #callcc #proofassistant #DanielPFriedman #programmingjargon #HackerNews #ngated -
Normal-order syntax-rules and proving the fix-point of call/cc
https://okmij.org/ftp/Scheme/callcc-calc-page.html
#HackerNews #NormalOrder #SyntaxRules #CallCC #Scheme #Programming #Proving
-
With the help of some people on the #Guile user list (thanks!), I was able to make sense of the `assert` #macro from okmij.org [1]. I wrote a lot of comments and insights, so that at a later point future me or anyone else might find it easier to understand what is going on [2].
#programming #scheme #syntaxrules #assert
[1]: https://okmij.org/ftp/Scheme/assert-syntax-rule.txt
[2]: https://codeberg.org/ZelphirKaltstahl/guile-examples/src/commit/be16f636a6ad637de38c695ba5881cf47fe8df29/macros/assertions/assert.scm -
With the help of some people on the #Guile user list (thanks!), I was able to make sense of the `assert` #macro from okmij.org [1]. I wrote a lot of comments and insights, so that at a later point future me or anyone else might find it easier to understand what is going on [2].
#programming #scheme #syntaxrules #assert
[1]: https://okmij.org/ftp/Scheme/assert-syntax-rule.txt
[2]: https://codeberg.org/ZelphirKaltstahl/guile-examples/src/commit/be16f636a6ad637de38c695ba5881cf47fe8df29/macros/assertions/assert.scm -
With the help of some people on the #Guile user list (thanks!), I was able to make sense of the `assert` #macro from okmij.org [1]. I wrote a lot of comments and insights, so that at a later point future me or anyone else might find it easier to understand what is going on [2].
#programming #scheme #syntaxrules #assert
[1]: https://okmij.org/ftp/Scheme/assert-syntax-rule.txt
[2]: https://codeberg.org/ZelphirKaltstahl/guile-examples/src/commit/be16f636a6ad637de38c695ba5881cf47fe8df29/macros/assertions/assert.scm