7:11:16galex-713can ECL produce native shared objects, with only native code, and no type-check nor runtime polymorphism?
7:12:07pjbYou can define callbacks in ECL FFI, so I would say yes. You would still have to link with libecl, either dynamically with libecl.so, or statically with libecl.a
7:12:49pjbAnd your API may need to specify intializations and termination so you can initialize and terminate the lisp environment if you want to hide that.
7:13:38pjbHowever, this no type-check nor runtime polymorphism would be only at the interface. The common lisp code you write would still perform run-time type checks and polymorphism. It's the nature of lisp.