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...
| Publicado en: | Communications of the ACM Vol. 53; no. 2; pp. 16 - 18 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=47776272&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 47776272 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Feb2010 vid: 53 iid: 2 pid: 68 pub: Association for Computing Machinery artinfo: ui: 47776272 10.1145/1646353.1646361 ppf: 16 ppct: 2 formats: tig: atl: Type Theory Comes of Age. aug: au: Wright, Alex su: Type theory Mathematical logic Programming languages C (Computer program language) JavaScript programming language Python programming language sug: subj: Type theory Mathematical logic Programming languages C (Computer program language) JavaScript programming language Python programming language ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|