Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Does Isabelle support code generation in C/C++...

Email Gateway (Aug 22 2022 at 14:48):

From: Lars Hupel <hupel@in.tum.de>
(moving thread to isabelle-user
<https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users>)

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

Last updated: Apr 25 2024 at 08:20 UTC