1. A computer-implemented method of developing a computer system that models types, comprising: receiving a request to have types compiled; identifying the types to compile, as a subset of types in the computer system, based on changes to the computer system made in a development environment and based on types already compiled and stored in a compilation cache; and compiling the identified types to obtain recently compiled types.