10. A method implemented by one or more computing devices, the method comprising: generating descriptions of one or more application programming interfaces (APIs) from a first collection of statically-typed machine-readable data without executing the machine-readable data, the generated descriptions consumable by a dynamically-typed language; and verifying the generated descriptions of the statically-typed language are consumable by a second collection of dynamically-typed machine-readable data by checking that call sites of the dynamically-typed machine-readable data are configured to call an application programming interface (API) referenced in the generated description of the statically-typed language and that syntax or semantic use of the dynamically-typed machine-readable data is based at least in part on the generated description of the statically-typed language.
10. A method implemented by one or more computing devices, the method comprising: generating descriptions of one or more application programming interfaces (APIs) from a first collection of statically-typed machine-readable data without executing the machine-readable data, the generated descriptions consumable by a dynamically-typed language; and verifying the generated descriptions of the statically-typed language are consumable by a second collection of dynamically-typed machine-readable data by checking that call sites of the dynamically-typed machine-readable data are configured to call an application programming interface (API) referenced in the generated description of the statically-typed language and that syntax or semantic use of the dynamically-typed machine-readable data is based at least in part on the generated description of the statically-typed language. 15. A method as described in claim 10 , wherein the verifying is performed through execution of a separate module.