Hindley-Milner on a dynamic language(edofic.com)

http://www.edofic.com/2012/11/cool-monday-hindley-milner-on-dynamic.html