Strongly and statically typed languages are way more discriminatory though. The whole idea is to reject a certain class of programs as being illogical, just bec

Strongly and statically typed languages are way more discriminatory though. The whole idea is to reject a certain class of programs as being illogical, just because of the way they use expressions. Edit: e.g., http://blog.ezyang.com/2012/08/is-haskell-liberal-or-conservative/ http://blog.ezyang.com/2012/08/is-haskell-liberal-or-conserv...