Specializer which propagates argument types through a dynamically typed function...

		iskander on July 9, 2010 \| parent \| context \| favorite \| on: Ask HN: What are you working on today? Specializer which propagates argument types through a dynamically typed function and gives me back a statically typed one. Polyvariant type inference ftw.