Comments on: Wait, is static typing good or bad? http://yonkeltron.com/2008/05/30/wait-is-static-typing-good-or-bad/ Temporary Exile Mon, 01 Dec 2008 20:02:15 +0000 http://wordpress.org/?v=2.6.5 By: Will Thompson http://yonkeltron.com/2008/05/30/wait-is-static-typing-good-or-bad/#comment-29112 Will Thompson Sat, 31 May 2008 00:09:18 +0000 http://yonkeltron.com/?p=195#comment-29112 So, Haskell isn't dynamically typed in the slightest. If you don't annotate a function with its type, the most general possible type will be inferred, and if it is untypeable the compiler will shout at you. You can't¹ turn off the type system. ¹ (You can use modules like Data.Dynamic to simulate dynamic typing.) So, Haskell isn’t dynamically typed in the slightest. If you don’t annotate a function with its type, the most general possible type will be inferred, and if it is untypeable the compiler will shout at you. You can’t¹ turn off the type system.

¹ (You can use modules like Data.Dynamic to simulate dynamic typing.)

]]>