Carp: A statically typed Lisp, without a GC, for real-time applications
Really well done. The lang design, the docs: intend is clear in every case and very on point.<p>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.<p>But this lisp is a breath of fresh air to my type-loving brain.<p>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?