Am Fri, 06 Jun 2014 19:24:00 -0700 schrieb Henry Baker <hbaker1@pipeline.com>:
Swift includes an automatic type inferencing system akin to languages like ML & Haskell. This is a good thing, and a very long time coming for a non-research
If you like type inference, you might be interested in Red Hat's Ceylon language http://ceylon-lang.org/ . The type system is rather cool, including intersection and union types. Apparently, the type system is even turing complete! https://github.com/lucaswerkmeister/ceylon-typesystem-turing-complete (I'm not sure what that means for the decidability of type inference, though.) It is not wide-spread, but I don't think it is intended as a research language: You can compile it to run on the Java VM, where it has (in marketing-speak, this would be a case for the word 'leverages') interoperability with existing Java classes. You can also compile it to Javascript to run in a browser.
The biggest problem with both Swift & C# is that they are proprietary.
This is open source: http://ceylon-lang.org/code/licenses/ Greetings, Dirk (who's lurking in the background and enjoying many of the discussions here!)