On Jun 3, 2014, at 3:10 AM, Clément Bera <bera.clem...@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
