On Jun 3, 2014, at 4:21 AM, Camille Teruel <camille.ter...@gmail.com> wrote:
>> To what I understand, types are inferred, it is not statically typed. Am I >> wrong ? > > If there is type inference then it is statically typed (at least partially if > not every variable type can be inferred) To repeat myself: this is not the case. Example is the RoelTyper. ---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry - http://pleiad.cl/~jfabry PLEIAD lab - Computer Science Department (DCC) - University of Chile
