News for hackers. Stuff that matters.

A comment on Carp: A statically typed Lisp, without a GC, for real-time applications.

Re:Carp: A statically typed Lisp, without a GC, for real-tim... by cies on Friday April 13, 2018 @10:55AM (#16830529)
Really well done. The lang design, the docs: intend is clear in every case and very on point.

I've never been a fan of lisps, but that has more to do with the common lack of strong typing discipline, than that it was a syntax issue. Currently I'm using Haskell a lot.

But this lisp is a breath of fresh air to my type-loving brain.

Maybe I've overlooked them, but what about higher kinded types and reflecting purity at type level? Are they not-in-and-never-will-be-by-design, or maybe-if-someone-implements, or on-the-road-map?

[ Parent | on HN ]
Re:Carp: A statically typed Lisp, without a GC, for real-tim... by aidenn0 on Friday April 13, 2018 @11:51AM (#16831163)
Have you looked at Shen[1] at all? It is a lisp dialect with a reasonably full featured type system[2]

1: http://www.shenlanguage.org/

2: http://www.shenlanguage.org/learn-shen/index.html#9%20Types

[ Parent | on HN ]
Re:Carp: A statically typed Lisp, without a GC, for real-tim... by djur on Friday April 13, 2018 @12:32PM (#16831553)
Is the open source version of Shen suitable for production use? It's not clear to me how actively it's developed or how much it differs from the "professional" version. The website suggests it lags far behind, but I recall there being an acrimonious split between the original creator and the open source community.
[ Parent | on HN ]
Re:Carp: A statically typed Lisp, without a GC, for real-tim... by gnulinux on Saturday April 14, 2018 @05:08AM (#16836587)
I second this. Shen is probably my favorite lisp.
[ Parent | on HN ]
Re:Carp: A statically typed Lisp, without a GC, for real-tim... by skybrian on Friday April 13, 2018 @01:40PM (#16832162)
Dynamic types at compile time combined with static types at runtime seems like a nice tradeoff. After all, the types will be checked for all the code actually generated. It probably makes error messages more confusing, though.
[ Parent | on HN ]
Re:Carp: A statically typed Lisp, without a GC, for real-tim... by M_Bakhtiari on Monday April 23, 2018 @05:16AM (#16901795)
I agree in that I don't like weak typing discipline, but Lisp was pretty much always strongly typed.
[ Parent | on HN ]