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