Email Gateway (Nov 16 2022 at 21:43): Email Gateway (Nov 16 2022 at 21:43):From: Makarius <makarius@sketis.net>
Dear users of Isabelle/Scala,
I wonder: What is the current experience with IDE support for Isabelle/Scala?
(Using Isabelle2022).
In recent years, I have used IntelliJ IDEA quite successfully, with the
generated project file by "isabelle project".
It was originally done for Gradle, but that broken down at some point. Then I
changed to Maven, but it sometimes failed to work. Then I reactivated Gradle,
to be able to switch on the spot to the build tool that happens to work with
IntelliJ by chance: presently it is usually Maven again.
Later in 2022, we upgraded from Scala 2 to 3 with some efforts to get the
brand new compiler (and source language). Scala 3 generally looks quite good,
but the Scala 3 plugin of IntelliJ IDEA did not quite work so far: e.g. it
does not show compiler errors inline --- it requires a manual batch-build to
see them; but such an IDE-based build can also fail unexpectedly.
So I often end up using plain-text editing in jEdit (not Isabelle/jEdit) for
the Isabelle/Scala sources, with plain "isabelle scala_build".
Eventually, our fine Prover IDE should also cover Scala, but that will take
some time.
Right now, I would like to hear from successful uses of a regular Scala/Java
IDE for Isabelle/Scala 3.
Makarius
Email Gateway (Nov 21 2022 at 12:51):From: Fabian Huch <huch@in.tum.de>
Unfortunately that largely has been my experience as well - the IntelliJ
Scala 3 plugin is not (yet) great.
Currently, I'm developing larger things in Scala 2 and then migrate them
without IDE support to Scala 3... for smaller things, using the IDE
without inline errors is ok.
The maven/gradle models work well when the build tasks actually succeed
(i.e., mvn install or gradle build).
Fabian
Last updated: Jan 04 2025 at 20:18 UTC