My experience is that, unless I am getting something extremely powerful with OS-like aspirations (Common Lisp, SmallTalk, Forth), I'd rather have static typing

My experience is that, unless I am getting something extremely powerful with OS-like aspirations (Common Lisp, SmallTalk, Forth), I'd rather have static typing in a professional setting as well. So a hierarchy of choice for me would be like: S The languages mentioned above A Languages with Hindley–Milner type system and inference (SML, OCaml) B Your typical blue collar languages (C, Pascal, Go, Java, C#) C Scripting dynamic languages (JS, Perl, PHP, Lua)