Makes sense, hope they make it soon to the compile...
# arrow-meta
r
Makes sense, hope they make it soon to the compiler
s
A little bit of an update, I talked about the actual extensions, they are going to remove the type intercepting one, replacing with special annotation instance which can participate in type checking (checking annotation equality + usual types). call interception still going to be there.
Also there was a note about proper "or" types support in the language (cannot elaborate more on that so far) promised by language designers at some point.
👀 1
a
that's very interesting indeed
r
If that is union/sum without the need to create sealed hierarchies then we are also working on that in Meta
s
Do you have any draft on that? I guess it is not coming anytime soon from design side. Also I was talking with the annotation processing team, they are planning to make apt-like compiler plugin, but that will go through proper Keep process.