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



(moving thread to isabelle-user
<https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users>)

> 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.

Cheers
Lars




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