My lambda leftovers

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

On 2017-10-06T13:16:19 +0200
Remi Forax <forax at> 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 |

More information about the amber-spec-experts mailing list