On Wed, Jun 13, 2018 at 9:22 PM, oldk1331 wrote:
>> However I am uncertain about your proposed changes to Void. Why do you
>> prefer a value of 0 instead of the symbol "()"? Note of course that
>> this is a Lisp symbol and not Lisp NIL. Although the value can be
>> anything, as the empty tuple, I
> However I am uncertain about your proposed changes to Void. Why do you
> prefer a value of 0 instead of the symbol "()"? Note of course that
> this is a Lisp symbol and not Lisp NIL. Although the value can be
> anything, as the empty tuple, I think () is more intuitive than 0. A
> value of 0 mi
On Tue, Jun 12, 2018 at 9:37 AM, oldk1331 wrote:
> Clearly domain "Void" is the unit type:
> https://en.wikipedia.org/wiki/Unit_type
>
> So I'm clearing this up.
>
I think that fixes and better documentation of the Void, Exit, and
None domains are quite welcome but still warrant some discussion.