Als «type-systems» getaggte Fragen

Ein Typsystem ist eine Sammlung von Regeln, die den verschiedenen Konstrukten - wie Variablen, Ausdrücken, Funktionen oder Modulen -, aus denen ein Computerprogramm besteht, eine Eigenschaft zuweisen, die als Typ bezeichnet wird.

7
Ist das Typensystem von Haskell ein Hindernis für das Verständnis der funktionalen Programmierung? [geschlossen]
Ich studiere Haskell, um die funktionale Programmierung zu verstehen, mit der Erwartung, dass ich die Erkenntnisse, die ich in anderen Sprachen erhalte, anwenden werde (hauptsächlich Groovy, Python, JavaScript). Ich habe mich für Haskell entschieden, weil ich den Eindruck hatte, dass es sehr rein funktional ist und kein Vertrauen in den …
9
Gibt es Entwurfsmuster, die nur in dynamisch typisierten Sprachen wie Python möglich sind?
Ich habe eine verwandte Frage gelesen. Gibt es Entwurfsmuster, die in dynamischen Sprachen wie Python nicht erforderlich sind? und erinnerte mich an dieses Zitat auf Wikiquote.org Das Wunderbare an dynamischer Eingabe ist, dass Sie damit alles ausdrücken können, was berechenbar ist. Typsysteme sind normalerweise nicht bestimmbar und beschränken Sie auf …
1
Inferenz in Java 8 eingeben
Erfordert die Einführung der neuen Lambda-Notation (siehe z. B. diesen Artikel ) in Java 8 eine Art Typinferenz? Wenn ja, wie wird sich das neue Typsystem auf die Java-Sprache insgesamt auswirken?
6
Was ist der Kompromiss für die Typinferenz?
Es scheint, dass alle neuen Programmiersprachen oder zumindest diejenigen, die populär geworden sind, Typinferenz verwenden. Sogar Javascript hat Typen und Typinferenz durch verschiedene Implementierungen (Acscript, typescript etc). Es sieht toll aus, aber ich frage mich, ob es Kompromisse gibt oder warum Java oder die alten guten Sprachen keine Typinferenz haben …
3
Ein gutes generisches Typensystem
Es ist allgemein anerkannt, dass Java-Generika auf einige wichtige Arten versagt haben. Die Kombination von Platzhaltern und Schranken führte zu ernsthaft unlesbarem Code. Wenn ich mir jedoch andere Sprachen anschaue, kann ich anscheinend kein generisches Typsystem finden, mit dem Programmierer zufrieden sind. Nehmen wir als Entwurfsziele eines solchen Typsystems: Erzeugt …
7
Ist die ungarische Notation eine Problemumgehung für Sprachen mit unzureichender statischer Schreibweise? [geschlossen]
In Eric Lipperts Artikel What's Up With Hungarian Notation? , erklärt er, dass der Zweck der ungarischen Notation (der guten Art) darin besteht, Erweitern Sie das Konzept von "Typ", um zusätzlich zu Speicherrepräsentationsinformationen auch semantische Informationen zu erfassen. Ein einfaches Beispiel wäre das Präfixieren einer Variablen, die eine X-Koordinate darstellt, …
6
Was sind die Einschränkungen beim Implementieren grundlegender Typen (wie int) als Klassen?
Bei der Konzeption und implenting eine objektorientierte Programmiersprache, muss irgendwann man eine Wahl trifft über grundlegende Arten der Umsetzung (wie int, float, doubleoder Äquivalente) als Klassen oder etwas anderes. Offensichtlich Sprachen in der C - Familie eine Tendenz haben , nicht sie als Klassen zu definieren (Java hat spezielle Urtyp, …
4
Typsysteme: nominal vs. strukturell, explizit vs. implizit
Ich bin etwas verwirrt über den Unterschied zwischen nominalen und strukturellen Systemen. Kann jemand bitte erklären, wie sie sich unterscheiden? Von dem, was ich verstehe: Nominal: Die Typkompatibilität basiert auf dem Typnamen. Strukturell: Die Typkompatibilität basiert auf der Typstruktur. Wenn z. B. in C zwei Variablen Strukturtypen mit unterschiedlichen Namen, …
6
Was ist die übliche Vorgehensweise, wenn Compiler statisch „komplexe“ Ausdrücke prüfen?
Hinweis: Wenn ich im Titel "Komplex" verwendet habe, bedeutet dies, dass der Ausdruck viele Operatoren und Operanden enthält. Nicht, dass der Ausdruck selbst komplex wäre. Ich habe kürzlich an einem einfachen Compiler für die x86-64-Assembly gearbeitet. Ich habe das Haupt-Frontend des Compilers fertiggestellt - den Lexer und den Parser - …
1
Könnte Hindley-Milner-Inferenz für die Sprache Go funktionieren?
Ich habe gelesen, dass Hindley-Milner nicht mit Typsystemen arbeitet, die Unterklassen haben, und es gibt andere Typsystemfunktionen, die ebenfalls nicht gut damit funktionieren. Go hat derzeit nur sehr eingeschränkte Typrückschlüsse im :=Operator. Go hat jedoch keine Unterklassen im herkömmlichen Sinne, sondern nur Schnittstellen, die Haskells Typklassen sehr ähnlich sehen und …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.