The gendarmerie have their version of Ubuntu so they may go for something similar.
Not that different part of the French government communicate or help each other...
The goal is certainly to have a language suitable for "real-time applications" (read games/audio), that's not my area of expertise however so your definition of real-time might not be different than mine.
As it compiles to C, any microcontroller with a compiler that supports something that looks like C can work. I've run Carp code on a GBA (as mentionned somewhere else in the comments), esp32, esp8266, as well as Arduboy & Pygamer via Arduino.
There is some more information about running Carp on embedded platforms in the docs[0].
One last thing I wanted to mention is that Carp is still very much in flux so it might not be the best choice for longterm projects, but if you're interested in playing with the language there is usually always someone to answer questions on the Gitter[1].
Don't get too hung up on the "lisp" in that title.
I think the language would better be described as statically typed, with s-expr syntax, inspired by Clojure|Rust|ML and with a lispy language accessible for use in macros. But that's less catchy.
That's correct, concurency is not supported right now. I have a POC for using pthread but essentially the borrow checker is not aware of it and so it's quite unsafe.
I'm not sure what you mean by optional parenthesis. I'd say optional separators are a legacy feature, I don't think anyone writes Carp with separators.
The quality of the switches in logitech product in the past few years has become laughable. I am currently using a 8 years old 502 because the newer one I got broke after nine months...
Carp is statically-typed with type inference so writing (the Int x) would be enough for the compiler to forbid any usage of x as another type. Writing (Int.+ x 1) would accomplish the same as Int.+ only accepts Int.
You can also annotate function with a type signature.
You're correct, somewhat like clojure's Vector, the default collection at runtime in Carp is an Array which is heap allocated C array with an attached length. At compile time however the dynamic language uses more standard lispy lists.
[0] https://github.com/dockur/windows?tab=readme-ov-file#is-this...