type-systems

Fragen
Typ-Systeme auferlegen Beschränkungen, welche Programme geschrieben werden dürfen, indem sie eine syntaktische Methode für den Betrieb mit diesen Beschränkungen bereitstellen.
2
Antworten

Python-Typsystem - Objekt vs. Typ

Ich bin neu in Python. Ich bin vertraut mit Java, C / C ++ und OCaml. Ich verstehe Lambda Calculus und Elementartheorie wegen eines Programmiersprachenkurses, den ich an der Universität nahm. Bewaffnet mit diesem Hintergrund habe ich versucht...
23.11.2012, 03:46
2
Antworten

Wählen Sie eine AST-Repräsentation in Haskell

Ich arbeite zur Zeit an einem Compiler für funktionale Compiler mit dem Ziel, typbezogene Dinge und leicht fortgeschrittene Techniken in Haskell zu lernen. Ich glaube, ich muss an jeden Knoten in meinem Baum Informationen anhängen, wie Positi...
12.11.2015, 19:20
3
Antworten

Was ist eine voll typisierte Sprache? und Einschränkungen einer solchen Sprache?

Soweit ich weiß, wird jede Programmiersprache, die beim Schreiben einer Funktion oder eines Moduls keine Typanmerkungen in die Quelle schreiben muss und wenn dieser Teil des Codes "type-correct" ist, Compiler die Typen und Kompilierungen ableite...
05.05.2012, 13:48
1
Antwort

Scala type Parameter Grenzen

Ich habe Schwierigkeiten, scalas Typgrenzen zu verstehen. Was ich versuche, ist eine Halterklasse zu erstellen, die Elemente vom Typ T enthält, die über Elemente vom Typ A iterieren können. Was ich bisher habe, ist: %Vor% Die Klasse selbst k...
15.07.2011, 21:33
1
Antwort

Praktische Beispiele für die Verwendung von Void

Bearbeiten: Nach Void , ich meine Haskells Void type, d. h. leerer Typ, der keine Werte haben kann, aber undefined . Es gibt eine laufende Diskussion über Swift Evolution, ob das noreturn -Funktionsattribut durch einen tatsächlichen...
24.06.2016, 13:13
1
Antwort

EWS: NetworkCredential ist nicht mit ExchangeCredentials in F # kompatibel

Ich verwende gerne die Microsoft.Exchange.WebService API: C # funktioniert gut %Vor% F # gibt den Fehler: Der Typ 'NetworkCredential' ist nicht kompatibel mit 'ExchangeCredential' %Vor% Ich dachte, dass es etwas mit der impliziten Kon...
23.01.2016, 11:58
2
Antworten

Wie schränkt man in Haskell Funktionen auf nur einen Konstruktor eines Datentyps ein?

Ich bin mir nicht sicher, wie ich diese Frage formulieren soll. Angenommen, ich versuche, die Pfade von tmpfiles herumzugeben, und ich möchte die Idee einfangen, dass es verschiedene Formate von tmpfile gibt und jede Funktion nur auf einem von i...
08.02.2016, 20:53
1
Antwort

Varianz Annotation, verfolgen "positive" und "negative" Positionen von Scala Compiler

In Programmierung in Scala Seite 436 gibt der Autor ein Beispiel des Compilers, der prüft, dass jeder Typparameter nur in Positionen verwendet wird, die entsprechend klassifiziert werden. %Vor% Wie funktioniert das Beispiel? Warum bekommen...
16.09.2012, 23:54
4
Antworten

Gibt es Vorteile von starker Typisierung neben Sicherheit?

In der Haskell-Community fügen wir langsam Funktionen abhängiger Typen hinzu. Abhängige Typen ist eine erweiterte Tippfunktion, mit der Arten von Werten abhängen können. Einige Sprachen wie Agda und Idris haben sie bereits. Es scheint ein sehr f...
21.03.2016, 21:59