Email or username:

Password:

Forgot your password?
Devil Lu Linvega

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.
wiki.xxiivv.com/site/modal

8 comments
Renaud Bédard

@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?

Devil Lu Linvega

@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"

troethe

@neauoire @wryl That's cool! Does it use DFS to decide what rules to apply, like Prolog?

Devil Lu Linvega

:mocking: Combinatory logic, lisp processor or concatenative language, using only string rewrites. This is going to keep me up at night.
wiki.xxiivv.com/site/modal

Adam Nelson

@neauoire Now combine this with egraphs (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.

Go Up