> it should hopefully reduce the FUD around alternatives with better type systems (Scala), if the type system is turing-complete in any case.

Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.

Alan Perlis

https://en.wikipedia.org/wiki/Turing_tarpit