not sure what is the best channel for such question 🙂 Yesterday on WWDC Apple showed how Swift Macros will work in Xcode (https://developer.apple.com/videos/play/wwdc2023/102/) - very similar idea of Kotlin compiler plugins The question is: does K2 compiler plugins will provide similar IDE experience, f.e.: 1. Showing which code will be generated inline 2. Quick fix support for inspections

cc @Ilya Kirillov [JB]

cc @Roman Golyshev

Hi! Thanks for bringing this up, we definitely plan to investigate such possibilities for the K2 support in the Kotlin plugin. Unfortunately, it’s hard to promise anything particular though. Here is the tracking issue for that: https://youtrack.jetbrains.com/issue/KTIJ-21163/FIR-IDE-Investigate-how-we-can-show-declarations-generated-by-Kotlin-compiler-plugins-in-IDE

Nice, thanks! And what about quick fixes? I know, that there are checkers in K2 compiler plugins, but will it be possible to provide some quick fixes to IDE?

I think there's some difference between Kotlin compiler plugins and macros here, as compiler plugins don't really generate source code. In a way, it is closer to what KSP does. The debugging feature looks really cool though, it would be very useful to see e.g. decompiled IR generated by plugins inline

KSP is not able to transform existing declarations - Swift Macros and Kotlin compiler plugins can do it While implementation details are different, Im more concerned about how it will look from user perspective, and what Swift Macros provides is really cool

The implementation details matter in terms of UX here - Swift macros are closer to C style preprocessor which is easier to expand into readable source code. Kotlin compiler plugins generate IR, which is closer to bytecode - you won't be able to make readable sources out of that easily

We have FIR for something high-level, as well as IDE support So I believe, that showing generated declarations should be rather simple, as all info is available With bodies, it should be harder I beleive

Yeah, I was mostly thinking about bodies in particular, e.g. Compose doesn't really do anything in FIR outside of correctness checks. I'd love to see generated code right there in ide in cases like that