On Jun 3, 2014, at 3:10 AM, Clément Bera <bera.clement@gmail.com> wrote:
What's interesting about swift is not only that Apple chose an existing name for their new programming language (interesting for a company that is very careful about their own brand names), but that swift seems to be statically typed, while one of the biggest advantages of Objective-C is that it allows for dynamic typing (to some extent)...
To what I understand, types are inferred, it is not statically typed. Am I wrong ?
Type inference is actually orthogonal to static or dynamic typing. You can have a statically typed language with inferred types, where the programmer needs to put type annotations on places where the type inferrer gets lost, and you can infer types for a dynamically typed language. An example of the latter would be the RoelTyper shown at ESUG a looong time ago ;-) ---> Save our in-boxes! http://emailcharter.org <--- Johan Fabry - http://pleiad.cl/~jfabry PLEIAD lab - Computer Science Department (DCC) - University of Chile