Lisp: it's not about macros, it's about READ (2012)

Re:Lisp: it's not about macros, it's about READ (2012) by JadeNB on Monday July 18, 2016 @11:30AM (#12115632)

> with the same rigour as Leibniz and Tony Hoare

I think that may be the first time that has ever been written (not least because Leibniz was no model of rigour …).

[ Parent | on HN ]

Re:Lisp: it's not about macros, it's about READ (2012) by agentultra on Monday July 18, 2016 @02:43PM (#12117213)

Correct and, now that I think about it, funny.

Leibniz of course turned out to be right (or had the right intuition) but he failed to provide rigorous definitions of limits, functions, etc.

I only made the connection as some models of assignment I've seen use a rule of syntactic substitution from Leibniz in the method of proof.

Rigorous if you're a programmer not used to using proofs.

[ Parent | on HN ]