[adamnemecek]

> "functional" (which means it has immutable values I guess?)

No, it means that it's a functional language. Please consult google if you are not sure what that means.

> "pretty good type system" (which means it has generics?)

No, it means that it has a more advanced type system than any of the languages you mentioned. It's most likely the most popular language with a type system that can be considered somewhat advanced.

There might be idiosyncrasies but like compared with say JS or whatever it's still miles ahead.

Yeah, the standard library is somewhat lacking but like that will be fixed. The language is very solid though.

Also don't judge a language by lack of an HTTP server in the standard library.

[goldbrick]

It's not a functional language: http://robnapier.net/swift-is-not-functional

Please inform me what Swift's type system has over, say, Java as I don't know of anything and neither does a cursory Google.

The lack of an HTTP server is only an example. Let's see you parse JSON, or stream a Unix socket, or any of countless basic things that even Node includes in its standard lib. Swift doesn't really have much of anything except some types and traits: https://developer.apple.com/library/ios/documentation/Genera...

[chris_7]

The Foundation libraries provide that functionality, they're not core to the concept of a programming language, so they're not part of the minimal standard library. There are also numerous community provided implementations.

One way that Swift's type system is more advanced than Java is the ability to define extensions to protocols (interfaces) constrained to specific types, i.e. you can add "average" to "SequenceType where Generator.Element == Double". You can also use this to provide default implementations for protocols, but only in the case of specific associated types.