[isabelle-dev] NEWS: isabelle_scala_script wrapper
makarius at sketis.net
Fri May 24 23:19:18 CEST 2013
* Toplevel executable $ISABELLE_HOME/bin/isabelle_scala_script allows
to run Isabelle/Scala source files as standalone programs.
This refers to Isabelle/abf9fcfa65cf -- that changeset also contains a bit
of documentation and an example (as part of the "system" manual).
This might be relevant for "higher-order object-oriented system
programming", with the usual conceptual advantages, and accidental
disadvantages of the underlying JVM (slow compilation, slow startup).
Note that the executable is called "isabelle_scala_script" and not
"isabelle-scala-script" (as the old "isabelle-process"), since the latter
non-identifier form is non-portable as shell function across the multitude
of different /bin/sh standard POSIX shells. So the latter might become
"isabelle_process" at some point as well.
More information about the isabelle-dev