Scala 3 primitives for typelevel and meta programming?

[AMatveev]

@kai

AFAIK anonymous/structural types aren’t going anywhere.

Sorry, if it is obviously.
How currently anonymous/structural types can be injected in scala 3, without whitebox macros?

@kai

that can generate an expression with a type that’s determined by the macro itself, not known before the call.

It is clear.
For me it will be enough if it works only for string interpolation.
Of course whitebox macros is better. But it is better than nothing.

@odersky

With whitebox macros the “plugin” would in fact have to replace the typer, which is much more problematic. I believe it would in effect mean we define a separate language, similar to Template Haskell. That’s possible, but I believe we need then to be upfront about this.

It seems whitebox macros is going off
So, I just do not know how I can implement sqlj in scala3 now. We every day do some unwanted work and we can’t use white box macros because

• it has bad IDE support
• it is going off
  

And scala just cannot replace sql in some area.
The sql dsl will be always more bad. It will never be supported such IDE like dbeaver.
I can only hope that the situation will change.

We had had a hope that one day whitebox macros would not be experimental it would have good ide support and so on.
We have waited for

@odersky

Since Scala 3 will eliminate whitebox macros,

It’s ironic.