- Performance: for a compiler, having access to static types makes compiling and performance optimisation a lot easier. This is my current project (R compilation to heterogeneous targets) and I find that type inference over R code is a hard (and interesting) subject.
Thierry you see what I would love to have is a R to Pharo :)
