Falling in love with @wryl's Modal language, a simple string replacement engine that exists beyond programming paradigms, and allow your code to mimic other languages.
https://wiki.xxiivv.com/site/modal
Falling in love with @wryl's Modal language, a simple string replacement engine that exists beyond programming paradigms, and allow your code to mimic other languages. 8 comments
@renaudbedard @wryl I can improve the wording, further down the page I added "notice how we use curlies for the right-side, delimiters are interchangeable:" I've replace "parenthesizes" at the top with "delimiters" :mocking: Combinatory logic, lisp processor or concatenative language, using only string rewrites. This is going to keep me up at night. @neauoire Now combine this with egraphs (https://egraphs-good.github.io/) for the ultimate metalanguage. I've had a half-formed idea for an egraphs-and-datalog dependent type system brewing for years now. |
@neauoire @wryl This is neat! I got confused by the original suggestion that sequences are bound by parenthesis, and then curly braces are used interchangeably... are they part of the language at all, then?