It’s from type theory:

https://en.wikipedia.org/wiki/Unit_type

> On 12 Jun 2017, at 19:57, David Sweeris via swift-evolution 
> <swift-evolution@swift.org> wrote:
> 
> 
> On Jun 12, 2017, at 10:44, Jérémie Girault via swift-evolution 
> <swift-evolution@swift.org <mailto:swift-evolution@swift.org>> wrote:
> 
>> Void was the empty tuple because arguments were tuples. So no arguments 
>> meant empty tuple.
>> 
>> If we consider the empty tuple to be an argument, then the type for the type 
>> of empty tuple should be `Unit`
>> 
>> Void, however, seem naturally fitted for the absence of argument.
>> 
>> Should `func foo(Void)` be different from `func foo()`? I don’t think so. 
>> But different from `func foo(Unit)` ? Yes !
>> 
> To me, "Unit" is used like "a unit of length", "a unit of time", etc. I've 
> not come across it being used as analog for something like the empty tuple.
> 
> - Dave Sweeris
> _______________________________________________
> swift-evolution mailing list
> swift-evolution@swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution

_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to