3 ms·

Are there any statically typed S-expression languages?

• glenda 10y ago
  Typed Racket is the only one I've come across but I'm sure there are a few more.
  • munificent 10y ago
    Shen is another one: http://www.shenlanguage.org/ http://www.shenlanguage.org/ There are also a ton of hobby languages that are statically typed and use s-exprs so the author doesn't have to spend as much time on syntax.
• shanemhansen 10y ago
  Clojure does allow type annotations that are used to avoid reflection. https://clojure.org/reference/java_interop#Java%20Interop-Type%20Hints https://clojure.org/reference/java_interop#Java%20Interop-Ty... (defn len2 [^String x] (.length x))
• deleted 10y ago
  [deleted]