Von der statischen Typisierung zur dynamischen Typisierung

Question

Ich habe immer mit statisch typisierten Sprachen gearbeitet (C/C++, Java). Ich habe mit Clojure gespielt und es gefällt mir wirklich.

Eine Sache, über die ich mir Sorgen mache, ist: Sagen wir, ich habe ein Windows, das 3 Module als Argumente annimmt und im Laufe der Zeit ändern sich die Anforderungen und ich muss ein weiteres Modul an die Funktion übergeben. Ich ändere einfach die Funktion und der Compiler beschwert sich überall, wo ich sie verwendet habe. Aber in Clojure wird er sich nicht beschweren, bis die Funktion aufgerufen wird. Ich kann einfach eine Regex-Suche und -Ersetzung durchführen, aber es scheint, dass die Chance besteht, einen Aufruf zu verpassen, und es wird unbemerkt bleiben, bis die Funktion tatsächlich aufgerufen wird. Wie geht ihr mit diesem Problem um?

Answer 1

Wenn man zu dynamischen Sprachen übergeht, verliert man ein gewisses Maß an Refactoring und Typsicherheit. Je mehr Informationen der Compiler hat, desto mehr kann er zur Kompilierzeit für Sie tun.

Answer 2

Tim Bray erörtert sie aquí Die Kritik von Cedric lautet aquí ,und eine Beitrag auf artima, wo sie ausführlich diskutiert wird.

Answer 3

Wenn Sie wirklich eine statische Typisierung benötigen, können Sie https://github.com/clojure/core.typed und sein Leiningen-Modul, um die statische Variablenübergabe zu testen.