"The Many Faces of an Undying Programming Language"
@grainloom I've looked at Karp very briefly in the past. Since performance is a concern for me, it may be worth looking into again, but the documentation still warns to "[not] use it for anything important just yet!"
Typed Racket is a bit more mature, and the type declarations don't feel too intrusive to me. (They seem close to CL's `declare'). I'll try it out when I give Racket a proper look.
"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko