siraben/r5rs-denot
View on GitHub ↗ ★ 23 Haskell
A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
6 mentions on Hacker News by 1 person: 1 story, 5 comments · first 2020-06-10 · latest 2021-04-06
20082026
-
…semantics can be easily turned into a real, correct-by-construction interpreter[0]. [0] https://github.com/siraben/r5rs-denot
comment by siraben · 2021-04-06 · in Early Lisp Part II -
…(typo fixed) [2] http://okmij.org/ftp/tagless-final/ski.pdf [3] https://github.com/siraben/r5rs-denot
comment by siraben · 2020-10-01 · in Programming language notation is a barrier to entry -
…bugs. [0] Contrast the code and math: https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf [1] https://github.com/siraben/r5rs-denot [2] https://github.com/HarvardPL/formulog
comment by siraben · 2020-08-08 · in Formulog: ML + Datalog + SMT -
…an implementation of it in core Scheme.[1] [0] http://www.paulgraham.com/rootsoflisp.html [1] https://github.com/siraben/r5rs-denot/blob/master/demo/eval/...
comment by siraben · 2020-07-14 · in Problem Set 6: The Meta-Circular Evaluator (1998) -
…can be hard to reason about and do correctly, whereas following the spec made it really easy. [0] https://github.com/siraben/r5rs-denot
comment by siraben · 2020-07-05 · in Principles of Programming Languages (1997) [pdf]