Hyphenated Keywords and Unsigned Primitive Types

John Rose john.r.rose at oracle.com
Tue Jan 15 00:30:19 UTC 2019

On Jan 14, 2019, at 1:48 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> Yes, given that one of the motivating factors for Valhalla is numerics, the question of operators is an obvious one.  But we’ve got our hands full just getting value types out the door, so that’s something that’s going to have to take a back seat.  

There are many waypoints on the road to Valhalla.
Before we can contemplate operator definitions
for user-defined numerics, we need to ret-con
primitives as value types.  Before we can do that
we need to better integrate value types *and*
primitives into polymorphic APIs, which means
specialized generics.  And of course before all
of that we need value types as distinct from
old fashioned reference object types.  Clearly
we are only a couple of steps on that road,
in terms of prototyping.  Trying to fast-forward
to a desirable end-point, such as unsigned-int,
is going to make the rest of the journey slower.

— John

More information about the amber-dev mailing list