I just want to add a link for people interested in this discussion. (Dynamic Languages are Static Languages by Robert Harper): http://existentialtype.wordpress

I just want to add a link for people interested in this discussion. (Dynamic Languages are Static Languages by Robert Harper): http://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ http://existentialtype.wordpress.com/2011/03/19/dynamic-lang... With HN discussion here: http://news.ycombinator.com/item?id=2346590 http://news.ycombinator.com/item?id=2346590