alt Hacker NewsS-expression is a standard representation for syntax-free semantics. For example, PLT Redex [1] is a DSL for programming language semantics and built on top of Racket which uses S-expressions.
Replies
petalmind • today at 1:40 PM
Even Ruby `parser` gem uses S-expressions in their documentation: https://github.com/whitequark/parser/blob/master/doc/AST_FOR...
Do you know if Redex could be a tool that would be useful in my situation?
Claude suggests it, but I need to learn a lot of Redex to understand how to apply it.
I have a general understanding of what operational semantics is. Or maybe, are there any Redex implementations for common programming languages? \lambda_v is a bit too abstract.