Posted by jfabry on Jun 03, 2014; 3:32pm
URL: https://forum.world.st/Xcode-s-Swift-Playground-tp4761425p4761515.html


On Jun 3, 2014, at 3:10 AM, Clément Bera <[hidden email]> 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