News for hackers. Stuff that matters.
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

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