All talks All talks
IDEs and compilers: an ever closer union
October 7, 2019
With the development of both the Dotty Language Server and Metals, Scala is now well on its way towards providing great compiler-backed IDE support. But even though we're now using our compilers more interactively, there is still a lot of knowledge about our code that we never get to interact with directly: how type inference makes decisions, how implicit search proceeds, how macros get expanded, etc. How different would programming be if the compiler could act as a true assistant to the developer? The possibilities are vast and we should start exploring them! In this talk, I'll present some early experiments in this area and hope to inspire others to start doing their own experiments too.
Other videos that you might like
Making third-party macro support in IntelliJ easier
Mikhail Mutcianko
Scala.meta support in IntelliJ IDEA
Mikhail Mutcianko
Mutatis Mutandis: Typesafe, transactional, indexed database queries in the cloud
Jon Pretty
The Scala Refactoring Library: Problems and Perspectives
Matthias Langer