Carp: A Statically Typed Lisp

Common Lisp is also a statically typed Lisp. It also allows programmers to advise the compiler on optimization:

http://www.lispworks.com/documentation/lw50/CLHS/Body/d_opti...

Using types in Common Lisp:

https://lispcookbook.github.io/cl-cookbook/type.html

Related:

Carp – a statically typed, non-GC Lisp language - https://news.ycombinator.com/item?id=34026414 - Dec 2022 (62 comments)

Carp – A statically typed Lisp, without a GC, for real-time applications - https://news.ycombinator.com/item?id=28875051 - Oct 2021 (134 comments)

Carp 0.3 - https://news.ycombinator.com/item?id=20368969 - July 2019 (23 comments)

Carp: A statically typed Lisp, without a GC, for real-time applications - https://news.ycombinator.com/item?id=16829278 - April 2018 (39 comments)

Carp, a compiled Lisp with type inference and a borrow checker - https://news.ycombinator.com/item?id=15778530 - Nov 2017 (109 comments)

Carp Language - https://news.ycombinator.com/item?id=13087780 - Dec 2016 (1 comment)

Carp: a statically typed lisp, without a GC, for high performance applications - https://news.ycombinator.com/item?id=12039268 - July 2016 (67 comments)

(It's a cool project but the current repost counts as a dupe by HN's rules (see https://news.ycombinator.com/newsfaq.html) because Dec '22 was quite a bit less than a year ago, and it spent 12 hours on the front page then)

Carp – a statically typed Lisp, without a GC, for high performance applications - https://news.ycombinator.com/item?id=12037783 - July 2016 (1 comment)

A video on carp just came out today: https://www.youtube.com/watch?v=GM9s_d4AkhI&t=1057s