Whoa, this was a point about syntax (non-Algol vs. Algol) being overstated. Haskell and Idris absolutely fall in non-Algol languages that make people do a double-take.

For the record I like lots of languages - dependent types are awesome. I find that the language I reach for will mostly be a function of the problem space.

Just an FYI, certain Lisps have static typing as well.