typage graduel

CONT: L'utilisation de langages typés pourrait [...] paraître préférable… mais sa mise en application peut apparaître particulièrement complexe, en particulier dans le contexte du développement web où la souplesse des langages non typés est préférée. Le typage graduel, qui permet à un programmeur de choisir à quel point il souhaite que son programme soit typé, en fonction des parties de son programme qui nécessitent plus de sûreté, a été développé dans ce but.

CONT: Gradual typing is a type system ... that allows parts of a program to be dynamically typed and other parts to be statically typed. The programmer controls which parts are which by either leaving out type annotations or by adding them in.