3 ms·

Carp: A Statically Typed Lisp

20 points by bobnamob 4y ago

kagevf 4y ago
A video on carp just came out today: https://www.youtube.com/watch?v=GM9s_d4AkhI&t=1057s https://www.youtube.com/watch?v=GM9s_d4AkhI&t=1057s
msla 4y ago
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_optimi.htm http://www.lispworks.com/documentation/lw50/CLHS/Body/d_opti... Using types in Common Lisp: https://lispcookbook.github.io/cl-cookbook/type.html https://lispcookbook.github.io/cl-cookbook/type.html
- kagevf 4y ago
  > statically typed Not strongly and dynamically typed?
  - msla 4y ago
    > Not strongly and dynamically typed? It has that plus optional static typing.
dang 4y ago
Related: Carp – a statically typed, non-GC Lisp language - https://news.ycombinator.com/item?id=34026414 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 https://news.ycombinator.com/item?id=28875051 - Oct 2021 (134 comments) Carp 0.3 - https://news.ycombinator.com/item?id=20368969 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 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 https://news.ycombinator.com/item?id=15778530 - Nov 2017 (109 comments) Carp Language - https://news.ycombinator.com/item?id=13087780 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 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 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 https://news.ycombinator.com/item?id=12037783 - July 2016 (1 comment)

20 points by bobnamob 4y ago

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

msla 4y ago

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_optimi.htm http://www.lispworks.com/documentation/lw50/CLHS/Body/d_opti... Using types in Common Lisp: https://lispcookbook.github.io/cl-cookbook/type.html https://lispcookbook.github.io/cl-cookbook/type.html

kagevf 4y ago
> statically typed Not strongly and dynamically typed?
- msla 4y ago
  > Not strongly and dynamically typed? It has that plus optional static typing.

dang 4y ago

Related: Carp – a statically typed, non-GC Lisp language - https://news.ycombinator.com/item?id=34026414 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 https://news.ycombinator.com/item?id=28875051 - Oct 2021 (134 comments) Carp 0.3 - https://news.ycombinator.com/item?id=20368969 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 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 https://news.ycombinator.com/item?id=15778530 - Nov 2017 (109 comments) Carp Language - https://news.ycombinator.com/item?id=13087780 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 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 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 https://news.ycombinator.com/item?id=12037783 - July 2016 (1 comment)