Optionale Typisierung
Optionale Typisierung bezeichnet eine Form der Typisierung, die weder syntaktisch noch semantisch benötigt wird, und somit keinen Einfluss auf die dynamische Semantik der Sprache hat. Um die Vorteile starker Typsysteme nutzbar zu machen, können diese optional eingebunden werden. Die eingebundenen Typisierungen können parallel oder in unterschiedlicher Form seriell eingesetzt werden.[1] Programmiersprachen mit optionaler Typisierung sind beispielsweise Objective-C, Strongtalk, Dart, mypy[2] und Newspeak.
Kennzeichen
- Wichtigstes Erkennungsmerkmal einer optionalen Typisierung ist, dass die im Quellcode der Sprache verwendeten Typen keinerlei Auswirkungen auf die Semantik zur Laufzeit haben.
- Typ-Annotationen werden unterstützt, sind aber nicht verpflichtend.
Nutzen
Typ-Annotationen ermöglichen eine Unterstützung der Programmierer durch die integrierte Entwicklungsumgebung wie Code-Vervollständigung, zeitnahe Fehlererkennung und aussagekräftige Fehlermeldungen.[3]
Weblinks
- Language with a Pluggable Type System and Optional Runtime Monitoring of Type Errors, Jukka Lehtosalo and David J. Greaves; University of Cambridge Computer Laboratory
Einzelnachweise
- Gilad Bracha: Pluggable Type Systems (PDF; 83 kB). In: OOPSLA’04 Workshop on Revival of Dynamic Languages, 27. Oktober 2004.
- mypy-lang.org: The Mypy Language Blog – Updates about mypy, a Python variant with seamless dynamic and static typing
- Gilad Bracha, Erik Meijer: Erik Meijer and Gilad Bracha: Dart, Monads, Continuations, and More, Channel 9 am 9. Januar 2013 auf der GOTO 2012 Conference in Aarhus.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.