3 ms·

The relevant programming paradigm is string/term rewriting, which is featured in other programming languages such as Pure. It seems to have few direct applicati

The relevant programming paradigm is string/term rewriting, which is featured in other programming languages such as Pure. It seems to have few direct applications outside of symbolic computing itself, compilers and related fields such as PL theory. (Formal calculi and languages are often specified in PL theory as rewrite rules, even though the practical implementation may ultimately differ.)

aeonik 8mo ago
Indeed, I think I messed up the language name too. It was Kernel that was most similar with the fexpr capability. Pure is a good example too. https://web.cs.wpi.edu/~jshutt/kernel.html https://web.cs.wpi.edu/~jshutt/kernel.html