raulraja

    raulraja

    2 years ago
    Makes sense, hope they make it soon to the compiler
    shikasd

    shikasd

    2 years ago
    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.
    aballano

    aballano

    2 years ago
    that's very interesting indeed
    raulraja

    raulraja

    2 years ago
    If that is union/sum without the need to create sealed hierarchies then we are also working on that in Meta
    shikasd

    shikasd

    2 years ago
    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.