1. A method for using type analysis to generate an implementation of a type, the method comprising the steps of: (a) identifying a request to generate a first implementation of a type; (b) receiving a type model associated with the type; (c) identifying a second implementation of the type model as suitable for a high-performance implementation; (d) generating the second implementation on a target processor; and (e) representing the second implementation as the first implementation.