common lisp supports type annotations. there is even an ML-type language impletmented in it (see coalton). quick lisp [1] is used for package managment, bordeau

common lisp supports type annotations. there is even an ML-type language impletmented in it (see coalton). quick lisp [1] is used for package managment, bordeaux-threads [2] for threading. 1. https://www.quicklisp.org/index.html https://www.quicklisp.org/index.html 2. https://github.com/sionescu/bordeaux-threads https://github.com/sionescu/bordeaux-threads