They CAN return no values: (values)<div><br></div><div>It is just awkward because you get an error in the binding forms if you try to name the result (because there is none.)</div><div><br></div><div>Jay<span></span><br><br>On Monday, January 5, 2015, Jack Firth <<a href="mailto:jackhfirth@gmail.com">jackhfirth@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Given that racket has multiple return values, what sort of issues would arise if functions were allowed to return no values at all instead of opting to return the single value void when they have nothing to return? Is it purely a backwards compatibility thing, or are there more fundamental problems with that?</div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 5, 2015 at 4:46 PM, Hendrik Boom <span dir="ltr"><<a href="javascript:_e(%7B%7D,'cvml','hendrik@topoi.pooq.com');" target="_blank">hendrik@topoi.pooq.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On Mon, Jan 05, 2015 at 05:58:31PM -0500, Sean Kanaley wrote:<br>
> I see "void" as a tangible value specifying no information, whereas<br>
> "undefined" is literally no information. So void is more like an empty<br>
> universe and undefined is no universe at all.<br>
<br>
</span>Algol 68 had a void value, called 'empty' in the defining report, but<br>
it didn't need a name in the language itself, because there were too<br>
many easy ways of geerating it.<br>
<br>
I always considered void to be a type with exactly one value, which<br>
would need log2(1) bits to reprresent it, i.e., zero.<br>
<br>
The report also left a number of things undefined.  An early draft of<br>
the report went on to specify 'undefined' as meaning anything from a<br>
reasonable continuation of the computation to 'indescribable chaos'.<br>
<span><font color="#888888"><br>
-- hendrik<br>
</font></span><div><div>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
</div></div></blockquote></div><br></div>
</blockquote></div><br><br>-- <br>Jay McCarthy<br><a href="http://jeapostrophe.github.io" target="_blank">http://jeapostrophe.github.io</a><br><br>           "Wherefore, be not weary in well-doing,<br>      for ye are laying the foundation of a great work.<br>And out of small things proceedeth that which is great."<br>                          - D&C 64:33<br>