I’ve played with Carp a bit and have made minor contributions to the language. I’m not sure if there’s been any investigation into using it as an embedded scrip

I’ve played with Carp a bit and have made minor contributions to the language. I’m not sure if there’s been any investigation into using it as an embedded scripting language yet, but there are definitely folks using it for embedded programming based on the community chats. I think someone has used it for programming modular synthesizers (or something like that)? At any rate, Carp definitely supports interfacing with C libs and you can choose to disinclude the standard library which is useful when you have limited space. More generally, the language is a blast to use! IMO it grants one the fluidity and expression of lisp with the confidence one gets from a Haskellesque type system. If you have any questions, the community on Gitter is very helpful.