[swift-evolution] [Proposal] Change Void meaning

Robert Bennett rltbennett at icloud.com
Mon Jun 12 13:01:39 CDT 2017


The name Unit is used in Foundation for that exact meaning: https://developer.apple.com/documentation/foundation/unit <https://developer.apple.com/documentation/foundation/unit>.

I like the name `Nothing` for the empty tuple. func foo(Nothing) {}


> On Jun 12, 2017, at 1:57 PM, 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 <mailto:swift-evolution at swift.org>
> https://lists.swift.org/mailman/listinfo/swift-evolution <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/ba967995/attachment.html>


More information about the swift-evolution mailing list