I'm talking about structural *static* typing. At runtime, all the types would be...

		Tuna-Fish on March 7, 2013 \| parent \| context \| favorite \| on: Things Java Programmers can learn from Clojure I'm talking about structural static typing. At runtime, all the types would be fully determined, so no need for reflection. (Or vcalls for that matter).