static-typing

33Hitze

4Antwort

Gibt es statisch typisierte, einbettbare Skriptsprachen?

Ich frage mich, ob es statisch typisierte, einbettbare Skriptsprachen gibt. Python, JavaScript usw. sind großartige Sprachen, aber sie werden dynamisch typisiert (dh Typen werden zur Laufzeit überprüf

36Hitze

8Antwort

Kann mir jemand sagen, was Starkes Tippen und schwaches Tippen bedeutet und welches besser?

6Hitze

2Antwort

Gibt es ein Zitat für "eine wachsende Rebellion" gegen strenge Typisierungssysteme?

Die FAQ für die neuen Go language macht ausdrücklich diese Behauptung: Es gibt eine wachsende Rebellion gegen umständliche Art Systeme wie die von Java und C++, Menschen gegenüber dynamisch typisierte

86Hitze

4Antwort

Ist eine statisch typisierte vollständige Lisp-Variante möglich?

Ist eine statisch typisierte vollständige Lisp-Variante möglich? Macht es überhaupt Sinn, dass so etwas existiert? Ich glaube, eine der Tugenden der Lisp-Sprache ist die Einfachheit ihrer Definition.

14Hitze

5Antwort

Getippte Metaprogrammierungssprachen

Ich möchte eine Metaprogrammierung in einer statisch getippten Sprache machen, wo sowohl meine Programme als auch meine Metaprogramme getippt werden. Ich meine das in einem starken Sinn: Wenn mein Pro

63Hitze

5Antwort

Welchen Zweck haben Typzuschreibungen in Scala?

In der Spezifikation gibt es nicht viele Informationen darüber, um welche Art von Zuschreibung es sich handelt, und es gibt sicherlich nichts über den Zweck dafür. Abgesehen davon, dass "Varargs funkt

18Hitze

3Antwort

Ist es möglich, den Rückgabetyp einer anonymen Funktion in Scala anzugeben?

Ich weiß, dass Sie eine anonyme Funktion erstellen können, und haben den Compiler infer deren Rückgabetyp: val x =() => { System.currentTimeMillis } nur um ihrer selbst willen statische Typisierung

6Hitze

5Antwort

Statische/starke Typisierung und Refactoring

Es scheint mir, dass das Unschätzbarste an einer statischen/stark typisierten Programmiersprache ist, dass es beim Refactoring hilft: Wenn/wenn Sie eine API ändern, dann sagt Ihnen der Compiler, was d

14Hitze

2Antwort

Wann ist die Manifest-Typisierung von sqlite nützlich?

sqlite verwendet etwas, was die Autoren "" nennen, was im Grunde bedeutet, dass sqlite dynamisch typisiert wird: Sie können einen varchar-Wert in einer "int" -Spalte speichern, wenn Sie möchten. Dies

3Hitze

2Antwort

F # und Operator Überladungen: (>) und (^)

Ok, kann mir jemand erklären, warum F # Ihnen erlaubt, die Operatoren> und^zu überladen, aber nicht erlaubt, sie zu benutzen? Wenn ich meinen F # -Code als Bibliothek kompiliere und diese Operatoren v