Re:An Intuition for Lisp Syntax
by dhanvanthri on Friday May 28, 2021 @02:42AM
(#27312410)
I mean it's literally the same idea as in set theory.
phi is an empty set,
(phi) is a set containing an empty set
((phi)) is a set containing a set containing an empty set
Furthermore, it's one of the only syntax rules; if it's not a list, then the first element is an operator/function.
Hmm, never thought of ∅ as a φ. (According to Wikipedia, the symbol was introduced in the 1930s by Weil, inspired by the letter Ø in the Danish and Norwegian alphabets.)
I agree with that, but in set theory the symbol {} is used.
I have nothing against it, I just think it should be emphasized more.
Edit: To answer to the responses to this comment, it's not that it's conceptually hard, it's just that the parenthesis symbol in its usual incarnation does not work that way, which leads to confusion.