[swift-evolution] [Proposal] Change Void meaning

[David Hart]

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 at swift.org> wrote:
> 
> 
> On Jun 12, 2017, at 10:44, Jérémie Girault via swift-evolution <swift-evolution at swift.org <mailto:swift-evolution at 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 at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution

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