←back to thread

Show HN: Term-Lisp – A Lisp, based on pattern matching and term rewriting

(github.com)
56 points boris_m | 2 comments | 06 Nov 24 14:53 UTC | HN request time: 0.001s | source
Show context
BoiledCabbage ◴[06 Nov 24 18:07 UTC] No.42066515[source]▶
Term re-writing systems are a really interesting way of looking at computation.

It completely abstracts away the concept of a machine, and it's simply translation as computation - but equally as powerful.

replies(3): >>42066655 #>>42066678 #>>42067446 #
1. lo_zamoyski ◴[06 Nov 24 18:59 UTC] No.42067446[source]▶
I would argue that it is more "primordial". After all, computation is first and foremost a human activity, generally performed using pen and paper, which involves a good deal of rewriting (computers were originally people). The machine only came later as a way to simulate this human activity. Its meaning is entirely contingent on the primordial notion. It have no meaning on its own.
replies(1): >>42070162 #
2. practal ◴[06 Nov 24 22:01 UTC] No.42070162[source]▶
Of course term rewriting has a meaning of its own, it is at the same time more meaningful and simpler as any other form of computation.