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.
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
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,
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
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
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
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:
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
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
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,
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
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
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
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
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
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 }