You should look at Nix's experimental dynamic derivations, which provide functionality entirely at the level of derivation language / store layer.