I have an application where I'd like to load and run code at runtime. As far as I know, the possibilities are: Use hs-plugins. I'm not sure if this still works on modern ghc, or if it works on my platform (darwin intel), but I managed to get this compiled after "fixing" a use of STArray whose arity apparently changed, but I probably broke it because now I get "Error in array index" all the time. I gather Austin Seipp has been doing some work on this. Is there a newer version that should work? An easy fix for the error? Then there's the ghc api, which I gather is seen as the way forward from hs-plugins, saving it from hi-parsing brittleness and platform specific breakage. I think Yi uses this, apparently in in the Shim package. I poked around some, but wasn't too clear to me what was going on, if I was looking in the right place, and if this is a reasonable way forward. lambdabot also appears to have its own dynamic loading mechanism, I haven't looked at the source enough yet to understand what it's doing. Maybe there's some documentation out there. The low-tech solution, used by xmonad, would be to pass the "dynamic" code to main and just recompile the app for each instance, passing in an instance specific set of config arguments. Of course, this isn't really dynamic at all, and compiling all the various instances could be clunky and awkward, but I know it works and could possibly be reasonable if I also write my own little language for the stuff that really has to be dynamic (anyone got one of these? lisplike would be easy and ok, an haskell subset might be nicer... I would like to avoid having *two* languages to write extensions in). The last solution I can think of is to export an RPC API instead of dynamically loading code. The difficulty here is coming up with a vocabulary that can be flattened and shipped to another program without becoming an excessive maintenance issue or being too inflexible. All in all, the dynamic loading approach of hs-plugins seems like the easiest and most flexible, provided I can get its staged type checking. Before I go trying to hack hs-plugins into working, or poking around inside yi or lambdabot, can anyone point me at some documentation, resources, advice, etc.? Thanks!