Tag: type-systems

Typ-Systeme Einschränkungen auf, welche Programme können geschrieben werden, indem eine syntaktische Methode für den Betrieb mit diesen Einschränkungen.

Nachteile von Scala-Typsystem vs. Haskell?

Anzahl der Antworten 6 Antworten
Habe ich gelesen, dass Scala ' s Typsystem ist geschwächt durch Java-Interoperabilität und kann daher nicht ausführen einige der die gleichen Befugnisse wie Haskell Typ-system. Ist das wahr? Ist die Schwäche, denn der Typ Löschung, oder bin

Union types und Intersection types

Anzahl der Antworten 4 Antworten
Was sind die verschiedenen use-cases für union types und intersection types? Es wurde in letzter Zeit eine Menge buzz über diese Art system-Funktionen, aber irgendwie habe ich nie das Gefühl haben müssen, bei beiden! Wenn Sie sagen,

Das Typ-system in Scala ist Turing-vollständig. Beweis? Beispiel? Vorteile?

Anzahl der Antworten 2 Antworten
Gibt es Forderungen, das Scala-Typsystem ist Turing-vollständig. Meine Fragen sind: Gibt es einen formalen Beweis für diese? Wie würde eine einfache Berechnung wie in der Scala-Typsystem? Ist dies von Vorteil, Scala - die Sprache? Ist dies Scala

Was ist gemeint mit Scala Pfad-abhängige Typen?

Anzahl der Antworten 1 Antworten
Ich habe gehört, dass Scala hat die Pfad-abhängige Typen. Es ist etwas zu tun mit inneren Klassen, aber was bedeutet das eigentlich und warum sollte mich das interessieren? Ich weiß auch, was PDTs sind; ich hoffte, dass

Warum kann ich nicht mit dem as-Schlüsselwort für eine Struktur?

Anzahl der Antworten 6 Antworten
Ich definiert mit der folgenden Struktur: public struct Call { public SourceFile caller; public SourceFile callee; public Call(SourceFile caller, SourceFile callee) { this.caller = caller; this.callee = callee; } } Später, ich weisen Sie auf die Tag-Eigenschaft

OCaml Printf.sprintf

Anzahl der Antworten 2 Antworten
Warum tritt dieses Verhalten auf? # Printf.sprintf ("Foo %d %s") 2 "bar";; - : string = "Foo 2 bar" # Printf.sprintf ("Foo %d" ^ " %s") 2 "bar";; Printf.sprintf ("Foo %d" ^ " %s") 2 "bar";; Error:

Unterschied zwischen statischen und dynamischen Programmiersprachen

Anzahl der Antworten 3 Antworten
Was ist der Unterschied zwischen statische und dynamische Programmiersprachen? Ich weiß, es ist alles über solche Systeme, aber ich bin auf der Suche nach mehr eindeutige Klarstellungen. InformationsquelleAutor der Frage Balaji Reddy | 2013-12-13

Was bedeutet es, zu sagen, eine Art ist "boxed"?

Anzahl der Antworten 6 Antworten
Ich habe von Arten, bezeichnet als "boxed" in einigen Sprachen. In Java, habe ich gehört, von "autoboxing". Was ist das? Ist es mit wrapper-Klassen für ein Typ? Wie würde mein code ändern, wenn ich arbeite mit Originalverpackung

Kleine und gute Scala-Projekte, um Scala zu lernen - vor allem funktionale Programmierung und Typsystem

Anzahl der Antworten 7 Antworten
Ich untersucht habe, scala für mehrere Monate, aber immer noch auf Anfänger-Niveau. Jetzt habe ich festgestellt, ich habe riesige Probleme mit funktionaler Programmierung und scala ' s Typsystem. Habe ich versucht zu finden einige Dokumente und blogs,

Unterschied zwischen `data` und` newtype` in Haskell

Anzahl der Antworten 1 Antworten
Was ist der Unterschied, wenn ich dies Schreibe? data Book = Book Int Int newtype Book = Book(Int, Int) -- "Book Int Int" is syntactically invalid InformationsquelleAutor der Frage ewggwegw | 2011-05-04

Was macht das Typensystem von Haskell "leistungsfähiger" als die Systeme anderer Sprachen?

Anzahl der Antworten 5 Antworten
Lesen Nachteile von Scala-Typsystem vs. Haskell?muss ich Fragen: was ist es, speziell, das macht Haskell Typ-system mehr leistungsstarke als andere Sprachen' - Typ-Systeme (C, C++, Java). Es scheint, auch Scala können Sie nicht ausführen einige der die

Was ist ein existentieller Typ?

Anzahl der Antworten 10 Antworten
Lese ich über den Wikipedia-Artikel Existentielle Typen. Ich gesammelt, dass Sie genannt werden existentielle Typen, weil der existentiellen operator (∃). Ich bin mir nicht sicher, was der Punkt, der es ist, aber. Was ist der Unterschied zwischen

Was sind überzeugende Anwendungsfälle für abhängige Methodentypen?

Anzahl der Antworten 4 Antworten
Abhängige Methode-Typen, die verwendet werden, um ein experimentelles feature vor, wurde nun standardmäßig aktiviert in den Kofferraumund anscheinend scheint geschaffen zu haben einige Aufregung in der Scala-community. Auf den ersten Blick, es ist nicht sofort offensichtlich, was

Sprachen des dynamischen Typs im Vergleich zu Sprachen des statischen Typs

Anzahl der Antworten 9 Antworten
Was sind die vor-und Nachteile dynamischer Sprachen im Vergleich zu statischen Sprachen? Siehe auch: was ist mit der Liebe von dynamischen Sprachen (weit mehr argumentative thread...) InformationsquelleAutor der Frage cvs | 2008-09-24

Was bedeutet der `#` Operator in Scala?

Anzahl der Antworten 4 Antworten
Sehe ich diesen code in diesem blog: Type-Level Programming in Scala: //define the abstract types and bounds trait Recurse { type Next <: Recurse //this is the recursive function definition type X[R <: Recurse] <: Int }