Why is Common Lisp case insensitive?
Is there an advantage to defining a function like (defun hi () "Hi!")
and be able to call it by using (hi)
or (HI)
or (Hi)
, or to (setf a-number 5)
and be able to access that number using a-number
, A-NUMBER
, 开发者_运维技巧or A-Number
?
If there is such an advantage, then why are most other languages case-sensitive?
Using case sensitive names in code within an interactive session is just more error-prone.
Common Lisp is case sensitive. It is just that the Common Lisp reader functionality by default converts all unescaped characters of symbols to uppercase. This is also defined in the Common Lisp standard. The predefined Common Lisp symbols are also all uppercase internally.
Using uppercase was common on old machines. Remember, the design of Common Lisp started in the early eighties (1982) and a goal was compatibility with earlier Maclisp and when there were more types of computers to support (like the so-called Mini Computers and Mainframes). Other programming languages used on older computers also use uppercase identifiers, like COBOL or PL/1.
Also note that Lisp often was used interactively, so that during an interactive programming session getting the case of names right is more difficult. It is slightly easier when the Lisp reader uses a default case (here uppercase) and converts all input to this case.
Common Lisp supports other reader modes and you can also escape symbols: |This is a Symbol with mixed CASE and spaces|
.
Today a lot of software is either lowercase or even case sensitive with lowercase preferred. Some Lisp vendors provide a non-standard variant of Common Lisp, where all symbols by default are lowercase and the reader is case preserving. But this makes it incompatible with standard Common Lisp, where the expectation is that (symbol-name 'cl:defun)
is "DEFUN" and not "defun".
For interactive sessions, the case unsensitivity used to be the default when the Common Lisp standard was defined.
But, what truly happens is that the Common Lisp reader converts all symbols to upcase before interning and evaluating it. That is the default, but you can always change it if you want.
The *readtable*
objects has an attribute, readtable-case, that controls how the reader interns and evaluates the symbols read. you can setf readtable-case
to :upcase
(default), :downcase
, :preserve
, :invert
.
By default, the readtable-case
is set to :upcase
, which causes all symbols to be converted to upcase.
If you want case sensitivity, you should do
(setf (readtable-case *readtable*) :invert)
=> :invert
At a first glance, you might think that it would be better to choose the :preserve option, but it has some minor issue: all the symbols, as defined by the standard, must be upcased. So, you would have case sensitivity to the symbols defined by you only, and would have to do write:
* (DEFUN hi () "Hi!")
=> hi
* (SETF a-number 5)
=> a-number
* (HI)
=> ;error: the stored function is #'HI in the *readtable*, but by
; calling (HI) you try to acces a function named #'hi(downcase), which
; gives an error
* A-NUMBER
=> ;error: same for the variable
* (hi)
=> "Hi!"
* a-number
=> 5
The :downcase
option is the opposite of the default, converting everything to downcase, giving you no case sensitivity.
But with :invert
, the symbols you write in the source code, like defun
, setf
the hi
function, get converted to upcase, and any symbol in CamelCase
is preserved like it is originaly:
* (setf (readtable-case *readtable*) :invert)
=> :invert
* (defun Hi () "Hi!")
=> Hi
* (Hi)
=> "Hi!"
* (eq 'Hi 'hi)
=> nil
* (eq 'HI 'hi)
=> nil
* (eq 'Hi 'Hi)
=> t
(As others have pointed out, it is actually case-sensitive, but standard reader behaviour is to upcase everything.)
As to the advantages:
- Do you really want
Hashtable
andHashTable
to be naming different things? - Since Common Lisp provides different namespaces, you also do not need capitalization to tell class, variable, and function names apart (among others). You can have a class
name
and a functionname
with no ambiguity.Name
can even be the name of a variable, on top of that. - As seen in the last sentence, you can capitalize symbol names in prose just like any other words.
By default the reader in CL is case converting, all escaped characters get turned into uppercase. You can customize this behavior with readtable-case
. This is because its easy to interface with other languages that follow the same conventions.
精彩评论