Andrei Formiga (Aug 21 2024 at 18:28): Andrei Formiga (Aug 21 2024 at 18:28):Even just isabelle console -r to get a REPL still goes through Java. Is it even possible to use Isabelle without Java now?
A related and more specific question: is it possible to start PolyML and then load Isabelle code to get it working from there?
Fabian Huch (Aug 22 2024 at 07:25):Why would you want that? The systems part of Isabelle is written in Scala.
Andrei Formiga (Aug 24 2024 at 06:46):Fabian Huch said:
Why would you want that? The systems part of Isabelle is written in Scala.
Part curiosity, part the fact that having a simpler core makes it easier to create interfaces for "frontends" in other editors beyond jedit.
Fabian Huch (Aug 26 2024 at 09:18):It would certainly not be easier to interact with the raw ML process. Technically, yes you could do that, but then you would have to re-implement all of Isabelle/Scala, and handle all the messages that the ML process sends to scala.
Have you looked at the Isabelle LSP? That would be a starting point to implement a new frontend.
Last updated: Dec 21 2024 at 16:20 UTC