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 nerdponx on Friday April 13, 2018 @10:19AM (#16830218)

I've been wanting a true statically-typed Lisp for a while. Very excited to try this for keyboard firmware!

[ Parent | on HN ]

Re:Carp: A statically typed Lisp, without a GC, for real-tim... by fiddlerwoaroof on Friday April 13, 2018 @10:49AM (#16830469)

There’s also Hackett which provides a Haskell-style type system: https://github.com/lexi-lambda/hackett

[ Parent | on HN ]

Re:Carp: A statically typed Lisp, without a GC, for real-tim... by leshow on Friday April 13, 2018 @11:40AM (#16831024)

Typed Racket has been around for a while, is that not close enough to a lisp for you?

[ Parent | on HN ]

Re:Carp: A statically typed Lisp, without a GC, for real-tim... by nerdponx on Friday April 13, 2018 @02:33PM (#16832685)

I tried using it for some small projects, and it was really fun but seemed to not mesh well with the rest of the Racket ecosystem.

[ Parent | on HN ]