> Functional programming for me has a feeling of a mathematically sound foundation: This means a statically typed language with a powerful type-system and type

> Functional programming for me has a feeling of a mathematically sound foundation: This means a statically typed language with a powerful type-system and type inference. Mathematical soundness does not require type inference. It's unclear whether it requires static typing. And, it can easily get by with almost no type-system.