[swift-evolution] [Proposal] Change Void meaning

David Hart 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
> 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>

More information about the swift-evolution mailing list