Wouldn't you prefer to generate type-safe bindings at compile-time?
If I'm not mistaken, he has been working into getting the necessary data available from the compiler directly (which this paper would confirm).
Link to his existing library: http://kifri.fri.uniza.sk/~chochlik/mirror-lib/html/
Absolutely great guy, as well. Really happy to see him still working on this, year over year.
Edit: DYAC.