It’s from type theory: https://en.wikipedia.org/wiki/Unit_type
> On 12 Jun 2017, at 19:57, David Sweeris via swift-evolution > <[email protected]> wrote: > > > On Jun 12, 2017, at 10:44, Jérémie Girault via swift-evolution > <[email protected] <mailto:[email protected]>> 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 > [email protected] > https://lists.swift.org/mailman/listinfo/swift-evolution
_______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
