[cconroy]

"statically, strongly typed Lisp that still doesn't sacrifice its flexibility and expressive power"

SML

[TeMPOraL]

... with sane (i.e. s-expression based) syntax.

:).

But I'll check out SML. That's Standard ML, right?

[masklinn]

> ... with sane (i.e. s-expression based) syntax.

You can just enclose all your function calls in parens :D

Also you probably want to check out OCaml rather than SML, I don't know that SML has much of a presence… anywhere really.

[cconroy]

Yeah.

ML syntax is very pleasant, and roughly, sexprs w/o all the punctuation noise.

I don't believe it has a macro capability like lisps though, but you gain a sophisticated type helper.

Definitely worth looking into!

[Ar-Curunir]

FWIW, SML is an old research-focused language that was the progenitor of Haskell and Ocaml and Rust, and not something to program in :)

[tasogare]

F# is a modern derivative usable in the real world.