--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on May 2010 ---
>?I don't > suppose a Haskell interface is available? The entry point for the Frama-C API is src/kernel/db/mli. This file is 1800 lines long and lists other interfaces that you may also need. You'd need to solve the problem of making two garbage collectors collaborate and how to represent and type OCaml modules on the Haskell side (higher-order functors are used extensively in parts of the API). There are many languages for which it would be nice to have bindings, but being able to do this seems like one constraint too many when considering the problem we had decided to solve. Pascal