Type Theory Comes of Age.

The article discusses the role of type theory in computer programming languages. Strongly-typed languages include javascript and Python, while C is a prominent example of a weakly-typed language. Statically-typed languages seek to detect errors when programs are compiled, whereas dynamically-typed o...

Descripción completa

Detalles Bibliográficos
Publicado en:	Communications of the ACM Vol. 53; no. 2; pp. 16 - 18
Autor principal:	Wright, Alex
Formato:	Artículo
Publicado:	Association for Computing Machinery Feb2010
Materias:	Type theory Mathematical logic Programming languages C (Computer program language) JavaScript programming language Python programming language
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	The article discusses the role of type theory in computer programming languages. Strongly-typed languages include javascript and Python, while C is a prominent example of a weakly-typed language. Statically-typed languages seek to detect errors when programs are compiled, whereas dynamically-typed ones perform their error detection at runtime. A goal of researchers has been to make static systems more flexible, and to this end various extensions have been introduced. Researchers have also been investigating the value of type systems in securing data privacy.