[patrickmay]

Common Lisp also supports specialized type declarations like this. (In Common Lisp type declarations are optional.)

[nbouscal]

Common 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.