Es wird sehr viel „Informatik-Theologie“ um die Frage der statischen und dynamischen Typisierung betrieben. Da ich mir zu dieser Frage noch keine abschließende Meinung gebildet habe, kann ich hier nur ein paar Überlegungen zu der Thematik darlegen.
Eine Frage ist, wie statisch ist diese statische Typisierung eigentlich? Ein typischer Kandidat ist Java, das immer gerne als Musterbeispiel für statische Typisierung aufgeführt wird. Nun ist Java aber erst einmal sicher dynamisch typisiert. Jedes Java-Objekt hat seinen Typ dabei und dieser wird zur Laufzeit beachtet. Es gibt dann „ClassCastException“ oder so etwas. Man kommt recht weit ohne Casts. Früher brauchte man die für die Collections, aber das ist durch Generics ein Stück weit entschärft worden. Nun sind aber Generics in einigen Kombinationen dermaßen schwierig zu handhaben, man denke nur an die Kombination aus Collections und Arrays. Und wie viele kennen Kovarianz und Kontravarianz Manche Fälle werden dann in der Realität so gelöst, dass man die Generics wegcastet. Das ist Realität in den Java-Quelltexten dieser Welt, auch wenn man es noch so schlecht findet… Was bleibt ist die dynamische Typisierung und „etwas“ statische Typisierung. Es ist viel statische Typisierung, aber keineswegs durchgängig. Andere Programmiersprachen, wie z.B. F#, Scala oder Haskell haben die statische Typisierung konsequenter umgesetzt und dort funktioniert sie auch besser.
Man braucht natürlich einen Mechanismus, um die richtige Funktionalität für die Daten zu verwenden. Das kann durch eine Art von dynamischer Typisierung geschehen, im Prinzip für Polymorphie wichtig. Oder es kann auch programmatisch geschehen, indem quasi die richtige Funktionalität aufgerufen wird und das entsprechend schon zur Compilezeit so festgelegt wird. Das kann durch statische Typisierung unterstützt werden, aber es gibt natürlich auch andere Mechanismen.
Was statische Typisierung verspricht ist aber, dass man weniger Fehler macht. Man kann sagen, dass statische Typen eine Art „Constraints“ sind. Man sieht dadurch bestimmte Fehler, die man vermeiden kann. Die Freunde dynamischer Typisierung schreiben aber genügend Unit-Tests und so findet man die Fehler sowieso. Und die Unit-Tests muss man auch bei statisch typisierten Sprachen schreiben. Also gewinnt man etwas durch die statische Typisierung? Ein bisschen schon, aber es relativiert sich, wenn man seriös Unit-Tests schreibt.
Nun kann eine statische Typisierung den Vorteil haben, dass sie Variablen, Parameter und Rückgabewerte dokumentiert und zwar auf eine Art, die immer aktualisiert werden muss und nicht den Stand von vor ein paar Monaten widerspiegelt, der nie aktualisiert worden ist, weil das vergessen wurde oder die Zeit gefehlt hat.
Dynamische Typisierung kann vorteilhaft sein, wenn man Schnittstellen entwickelt, die mit einem Spektrum von Versionen von Software zusammenarbeiten können, indem man einfach die Typen zur Laufzeit erkennt und richtig behandelt. So kann man ein großes System robuster bauen, weil es zunehmend schwierig ist, ein größeres System komplett auf einmal zu aktualisieren, je größer dieses ist.
![\[ a = b \cdot c + d \cdot e \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-236a993d1230b158e883c1fa692e3079_l3.svg "Rendered by QuickLaTeX.com")
, 
-adische Zahlung und endliche Körper sind wohl schon zu sehr in der Mathematik angesiedelt und selten nativ in Programmiersprachen zu finden, außer in Programmiersprachen, die gezielt eine mathematiklastige Clientel ansprechen. Dabei sind gerade endliche Körper noch recht wichtig für Kryptographie und Codierungstheorie und werden dort natürlich auch benutzt.
), was beim Sortieren großer Datenmengen in einem Thread besonders stark zum Tragen kommt. hsort ist im „worst case“ auch noch 
![[{\sf latexpage}]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-c6937b7923f6fdb2b652d7327ce29ed1_l3.svg "Rendered by QuickLaTeX.com")
, formulas can be embedded with 
or ![\backslash[\ldots\backslash]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-65cf72464662dee4a844e1d07bc5f3f5_l3.svg "Rendered by QuickLaTeX.com")
. They have to be written in ![\[ \bigwedge_{z\in\Bbb C}\, \sin z = \sum_{k=0}^\infty \frac{(-1)^k z^{2k+1}}{(2k+1)!}=z-\frac{z^3}{6}+\frac{z^5}{120}-\frac{z^7}{5040}+\ldots \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-5b1cbc2f73b7735710f44a4370768a04_l3.svg "Rendered by QuickLaTeX.com")
![\[ \bigwedge_{z\in\Bbb C}\, \cos z = \sum_{k=0}^\infty {\frac{(-1)^k z^{2k}}{(2k)!}}=1-\frac{z^2}{2}+\frac{z^4}{24}-\frac{z^6}{720}+\ldots \\ \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-c4adbeae1419ac1a46830fd7d31d5bc2_l3.svg "Rendered by QuickLaTeX.com")
![\[ {\bigwedge_\stackrel{z\in\Bbb C}{\cos z \ne 0}} \tan z = \frac{\sin z}{\cos z} \\ \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-88fb5365e12b265f733eb040ccec6324_l3.svg "Rendered by QuickLaTeX.com")
![\[ {\bigwedge_\stackrel{z\in\Bbb C}{\sin z \ne 0}} \cot z = \frac{\cos z}{\sin z} \\ \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-48177bd50f76bb2b6e73c32e46e50a0e_l3.svg "Rendered by QuickLaTeX.com")
![\[ {\bigwedge_\stackrel{z\in\Bbb C}{\cos z \ne 0}} \sec z = \frac{1}{\cos z} \\ \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-2b628f6b05ee3f8726a13e19207f13b8_l3.svg "Rendered by QuickLaTeX.com")
![\[ {\bigwedge_\stackrel{z\in\Bbb C}{\sin z \ne 0}} \csc z = \frac{1}{\sin z} \\ \end{align} \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-05d9b3134485c5f0244b62f7d76d39b2_l3.svg "Rendered by QuickLaTeX.com")
![\[ \sec(z) = 4\pi \, \sum_{k=0}^{\infty} \frac{(-1)^k(2k+1)} {(2k+1)^2 \pi^2 - 4 z^2 } \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-2b7ee65dee6f0b7967f77c92f4ecae11_l3.svg "Rendered by QuickLaTeX.com")
![\[ \csc(z) = \frac{1}{z} - 2z \, \sum_{k=1}^{\infty}\frac{(-1)^k} {k^2\pi^2-z^2} = \sum_{k=-\infty}^\infty \frac{(-1)^k \, z}{z^2-k^2\pi^2} \]](https://brodowsky.it-sky.net/wp-content/ql-cache/quicklatex.com-99d8720087396c18c26825cb1e08bd21_l3.svg "Rendered by QuickLaTeX.com")