My lambda leftovers

Mark Raynsford mark at io7m.com
Fri Oct 6 12:19:33 UTC 2017


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


More information about the amber-spec-experts mailing list