On Tue, Aug 13, 2013 at 7:27 PM,
Kevin Clancy
<kclanc@gmail.com>
wrote:
Love
Studio[1] receives type descriptions of native APIs from
XML files. I chose this approach because it is direct; a
direct type definition seems preferable to an imperative,
untyped program which a type can be inferred from.
I think this is my take-away. The inference idea was ok, but
it broke down after a certain point. For the specific case of
external API's I need to use a method that is more reliable.