Have you tried OCaml? All of the above points apply to it as well, though it's worth noting that both are frequently compiled. (Several Lisp and Scheme compiler

Have you tried OCaml? All of the above points apply to it as well, though it's worth noting that both are frequently compiled. (Several Lisp and Scheme compilers exist, as well.) I'm not trying to start an argument -- I'm interested in comparisons by people reasonably familiar with both (i.e. people who get the type system). They strike me as having very different communities and priorities, but using most of the same tools to further them.