Re: [isabelle] Does Isabelle support code generation in C/C++ or maybe even java ???

(moving thread to isabelle-user

> currently, the closest you can get is Scala, which can be linked to
> Java applications. Scala is supported out of the box by the code
> generator.

Peter is of course correct, but there is a caveat: Isabelle-generated
Scala code will not be exactly nice to call from Java (in particular if
it uses type classes or higher-order functions). So usually one would
want to add some custom wrapper code there.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.