Descriptions of typing are about as unevenly used as descriptions like "pass by reference." (So, practically useless.) In Lisps: - values have types (bool, sy

Descriptions of typing are about as unevenly used as descriptions like "pass by reference." (So, practically useless.) In Lisps: - values have types (bool, symbol, number, list, array, structs, functions, ...) - variables have by default one type: union of all the above - in Common Lisp, you can restrict the types of values allowed in a variable > but this uses type declarations I must have missed this. If it's not just what struct-like entities are allowed in the markup, where did you see that?