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