Distilling Mirah: Type Inference October 05, 2010·11 mins I walk through the type inferencing engine in the new JVM language: Mirah