June 3, 2014
3:34 p.m.
On Jun 3, 2014, at 4:21 AM, Camille Teruel <camille.teruel@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