My lambda leftovers

[Mark Raynsford]

On 2017-10-06T13:16:19 +0200
Remi Forax <forax at univ-mlv.fr> wrote:
>
> - allow void to be converted to Void (by returning null)
>   

This may not be *too* bad as long as it's strictly limited to Void,
because presumably a compliant program should never have had an
observable non-null value of type Void.

What I was wondering is if it might be time to introduce a strictly
non-null single-valued Unit (value) type. This would unfortunately be
incompatible with existing Void-typed methods...

-- 
Mark Raynsford | http://www.io7m.com