[swift-evolution] [Proposal] Change Void meaning
david at hartbit.com
Mon Jun 12 13:47:08 CDT 2017
It’s from type theory:
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the swift-evolution