On Tue, Nov 17, 2009 at 4:58 PM, Ellery Newcomer <ellery-newco...@utulsa.edu> wrote: > Bill Baxter wrote: >> >> Yes, Yigal said basically that. The question I have is what practical >> difference does that make to the language? >> Seems no different from defining the empty tuple to be void, then >> renaming void to unit. >> >> >> --bb > > If you have unit distinct from void, you could use it for what Andrei > mentioned a while back. Something to do with determining a function will > never return because it always throws, etc.
Hmm, well Yigal specifically said "instead of C-like void". Not "in addition to". --bb
