I’m reminded of Standard ML (note that this has nothing to do with machine learning). It is a simple language with a powerful static type system, and while it

I’m reminded of Standard ML (note that this has nothing to do with machine learning). It is a simple language with a powerful static type system, and while it is a functional programming language, it permits impure operations such as mutability. Standard ML is more complex than Scheme (which is dynamically typed), but is simpler than its cousin OCaml (which is more feature-rich), Common Lisp, or Haskell. I think Standard ML is a nice combination of power, simplicity, and static typing. https://www.smlnj.org/index.html https://www.smlnj.org/index.html