||An Introduction to Haskell, Part 1: Why Haskell|
|Subject:||Yes Lambda Calculus, No Haskell|
Response to: Yes Lambda Calculus, No Haskell
Unlike dynamic/scripting languages, languages with static typing (Haskel, OCaml) catch huge number of programming errors on compilation phase.
Do not confuse it with C++/Java static typing - Haskel and OCaml usually much more expressive.