[swift-evolution] Notes from Swift core team 2016-03-15 design discussion

Douglas Gregor dgregor at apple.com
Wed Mar 23 12:42:19 CDT 2016


> On Mar 23, 2016, at 10:36 AM, Thorsten Seitz <tseitz42 at icloud.com> wrote:
> 
> I actually do prefer the explicit variant without type inference as I find it much clearer to see what the typealias requires.

As do I. Also, we don’t currently have any place in the language where we infer constraints from the *definition* of an entity.

	- Doug

> 
> -Thorsten 
> 
> Am 23.03.2016 um 17:38 schrieb Douglas Gregor via swift-evolution <swift-evolution at swift.org <mailto:swift-evolution at swift.org>>:
> 
>> Clarification here: the example is
>> 
>> typealias DictionaryToStrings<T> = Dictionary<T, String>
>> 
>> Either we infer T to require Hashable, or we call this ill-formed and require the user to write
>> 
>> typealias DictionaryToStrings<T: Hashable> = Dictionary<T, String>
>> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160323/86356815/attachment.html>


More information about the swift-evolution mailing list