On 06/02/2014 11:15 PM, Steven Schveighoffer wrote:
They have template constraints similar to D. It looks something like this:
func foo<T where T == Int>(t: T)
I think everything after the where can be some condition, but I don't
know how expressive that is. The examples aren't very telling.
...
https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/GenericParametersAndArguments.html#//apple_ref/doc/uid/TP40014097-CH37-XID_774
You can have subtype and equality constraints on generic type parameter
and their "associated types".
I still haven't figured out whether generics are runtime-based or
compile-time based.
It is actual parametric polymorphism and not a form of macro if that is
what you mean. I.e. the declaration is type checked only once.
But some form of generics will be very nice to have.
