I’ve been playing with hs-plugins, trying to get a version of my generated propositional calculus code working as a dynamically loaded plug-in. I’ve run into some difficulties with the type signatures of the plug-in API, a concrete plug-in, and the plug-in user.
I’ve tried using existentially quantified constructors as well as the more usual with class-constrained type variables, but I haven’t been able to make any progress. If I can’t manage to resolve the problem, it looks like I’ll have to find another approach, perhaps by building an executable for each calculus (though that would suck as it’d have to compile everything, from scratch, for each and every calculus to get it to type-check).
Worrying.
If I can get it to work, I’ll have an alpha release with support for K out as soon as possible.