3 ms·
Common Lisp also supports specialized type declarations like this. (In Common Lisp type declarations are optional.)
by patrickmay 13y ago
Common Lisp also supports specialized type declarations like this. (In Common Lisp type declarations are optional.)
- nbouscal 13y agoCommon Lisp does not have dependent types. The example given is unfortunate because it often leads people to think they already have (and understand) dependent types, when that isn't the case.