<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">It’s from type theory:<div class=""><br class=""></div><div class=""><a href="https://en.wikipedia.org/wiki/Unit_type" class="">https://en.wikipedia.org/wiki/Unit_type</a></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 12 Jun 2017, at 19:57, David Sweeris via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class=""><div class=""><br class=""></div><div class="">On Jun 12, 2017, at 10:44, Jérémie Girault via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:<br class=""><br class=""></div><blockquote type="cite" class=""><div class=""><style class="">body{font-family:Helvetica,Arial;font-size:13px}</style><div id="bloop_customfont" style="font-family: Helvetica, Arial; font-size: 13px; margin: 0px;" class=""><p class="">Void was the empty tuple because arguments were tuples. So no arguments meant empty tuple.</p><p class="">If we consider the empty tuple to be an argument, then the type for the type of empty tuple should be `Unit`</p><p class="">Void, however, seem naturally fitted for the absence of argument.</p><p class="">Should `func foo(Void)` be different from `func foo()`? I don’t think so. But different from `func foo(Unit)` ? Yes !</p></div></div></blockquote><div class="">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.</div><div class=""><br class=""></div><div class="">- Dave Sweeris</div></div>_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-evolution<br class=""></div></blockquote></div><br class=""></div></body></html>