static-typing

17Hitze

7Antwort

Wie wirkt sich die fehlende statische Typisierung von Python auf Wartbarkeit und Erweiterbarkeit in größeren Projekten aus?

Nach dem Lesen this very informative (albeit somewhat argumentative) question würde ich gerne Ihre Erfahrung mit der Programmierung großer Projekte mit Python wissen. Werden die Dinge unkontrollierbar

12Hitze

1Antwort

Proper Typenannotation von Python-Funktionen mit Ertrag

Nachdem Eli Bendersky den Artikel zu lesen on implementing state machines via Python coroutines Ich wollte ... sehen sein Beispiel laufen unter Python3 und auch die entsprechenden Typenannotationen fü

25Hitze

1Antwort

Haskell Typ Signatur mit mehreren Klasse Einschränkungen

Wie kann ich mehrere Klasse Zwänge haben, also wenn A ein Eq und B ist ein Num, könnte ich sagen, entweder f :: Eq a => a -> b` oder f :: Num b => a -> b So , wie kann ich Eq a => und Num b => zur

5Hitze

3Antwort

Wie Länge kommentierten Listen in Haskell

Anscheinend zu verwenden, mit einigen GHC Erweiterungen ist es möglich, eine Art von Liste zu definieren, die Länge in der Art codiert, wie folgt aus: {-# LANGUAGE GADTs, EmptyDataDecls #-} data Z

6Hitze

1Antwort

Warum überspringt foreach die Überprüfung der Kompilierzeit für Schnittstellentypen?

Wenn ich eine foreach Schleife in C# verwende, scheint es, dass keine Kompilierzeit Typprüfung durchgeführt wird, wenn der Elementtyp ein Schnittstellentyp ist. z. Dies wird gerne kompilieren und eine

53Hitze

3Antwort

TypeScript: Probleme mit dem System

Ich teste gerade Typoskript in VisualStudio 2012 und habe ein Problem mit seinem Typsystem. Meine HTML-Site hat ein Canvas-Tag mit der ID "mycanvas". Ich versuche ein Rechteck auf dieser Leinwand zu z

0Hitze

2Antwort

Kann eine statisch typisierte Sprache heterogene Listen unterstützen?

In Python, ich eine Liste einfach erstellen kann Listen Werte verschiedenen Typen, z .: [0, 1.0, '2', MyClass(3)] jedoch in den statisch typisierten Sprachen Ich bin vertraut mit, können nur Werte e

2Hitze

3Antwort

Ende-zu-Ende-Typ der Sicherheit von JSON zwischen C# und Typoskript

Sowohl Typoskript und C# unterstützt Typ sicheren Zugriff auf die Mitglieder eines Objekts beim "Kompilieren" Typ und json wird verwendet, um "Datentransferobjekte" zwischen Web-Anwendung zurück zu tr

9Hitze

3Antwort

Ermüdet von nicht-semantischen Tests, um dynamische Typisierungsvorschläge wettzumachen?

Ich habe früher viel Webprogrammierung in Rails (PHP davor) gemacht, bevor ich angefangen habe, Computertechnik zu studieren. Seitdem habe ich viel in der Schule in C gearbeitet und einige persönliche

7Hitze

2Antwort

Warum ist die Typdeklaration in einer statisch typisierten Sprache wichtig?

Ich versuche den Nutzen einer Programmiersprache zu verstehen, die statisch getippt wird, und damit frage ich mich, warum wir eine Deklaration eintippen müssen? Dient es irgendeinem Zweck, anstatt den