Distilling Mirah: Type Inference October 05, 2010 by R.J. I walk through the type inferencing engine in the new JVM language: Mirah Continue Reading →