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.
- ↑ 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