The fact that there are extensions to those languages to add static typing still doesn't establish much of a correlation between "knows this language" and "groks static typing." There are lots of very proficient Schemers who have never used Typed Racket.
Yes, my comment wasn't meant to be totally serious. If static typing extensions were really used by everyone using Racket and/or Erlang, I wouldn't even have had to link to the extensions to begin with :)
9 comments
[ 282 ms ] story [ 1053 ms ] threadhttp://www.erlang.org/doc/reference_manual/typespec.html
http://web.mit.edu/drscheme_v42/.share.sun4x_510/plt/doc/ts-...
Shouldn't be that hard. It's not because the language is dynamic that it doesn't support static types ;)
http://www.haskell.org/pipermail/haskell-cafe/2010-July/thre...
http://www.haskell.org/pipermail/haskell-cafe/2010-July/thre...
Hey, haskell's up to #14 in github league table:
http://github.com/languages/Haskell
It is easier to hire good Haskell programmers because people who choose Haskell are interested in what they are doing.