Hacker News new | past | comments | ask | show | jobs | submit login

Though Lisp does not use the kind of a rule-based term rewrite system for computation, like Mathematica.



That depends entirely on your definitions when you’re dealing with a listener, especially a sophisticated one like the Symbolics Dynamic Listener or the CLIM Listener. If you want the forms entered to go through term rewriting before or as part or evaluation, that’s entirely feasible.


One can develop rule-based term rewriting systems in Lisp (and integrate them) and there are some, but itself is not defined or implemented as such.

That can be seen by the clumsy implementation of lexical scope (renaming vars, etc.) in Mathematica or the limited compilation of the Mathematica language.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: