The Scala code I write looks very similar to the Clojure code I write. But has the advantage of (optional) static type checks. What I care about is that a lang

The Scala code I write looks very similar to the Clojure code I write. But has the advantage of (optional) static type checks. What I care about is that a language lets me express easily the concepts that are in my head. Scala does that and because of its type systems makes it even possible to document these concepts in a mechanically verifiable way (only up to a certain extent, of course).