Was sind die Vor- und Nachteile dynamischer Typensprachen im Vergleich zu statischen Typensprachen? Siehe auch : Was ist mit der Liebe zu dynamischen Sprachen (ein weitaus argumentativerer Thread
Was ist der Unterschied, wenn ich das schreibe? data Book = Book Int Int gegen newtype Book = Book (Int, Int) -- "Book Int Int" is syntactically
Ich habe den Wikipedia-Artikel Existenzielle Typen gelesen . Ich habe festgestellt, dass sie aufgrund des existenziellen Operators (∃) als existenzielle Typen bezeichnet werden. Ich bin mir jedoch nicht sicher, worum es geht. Was ist der Unterschied zwischen T = ∃X { X a; int f(X); } und T = ∀x...
Ich habe mehrere Quellen gesehen, die die Meinung widerspiegeln, dass "Haskell allmählich zu einer Sprache mit abhängiger Typisierung wird". Die Implikation scheint zu sein, dass Haskell mit immer mehr Spracherweiterungen in diese allgemeine Richtung driftet, aber noch nicht da ist. Grundsätzlich...
Ich sehe diesen Code in diesem Blog: Typ-Level-Programmierung in Scala : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next...
Abhängige Methodentypen, die früher ein experimentelles Feature waren, wurden jetzt standardmäßig im Trunk aktiviert , und anscheinend scheint dies in der Scala-Community für Aufregung gesorgt zu haben . Auf den ersten Blick ist nicht sofort klar, wofür dies nützlich sein könnte. Heiko Seeberger...
Ich habe gehört, dass Scala pfadabhängige Typen hat. Es hat etwas mit Innenklassen zu tun, aber was bedeutet das eigentlich und warum kümmert es
Gegeben : data Foo = FooString String … class Fooable a where --(is this a good way to name this?) toFoo :: a -> Foo Ich möchte Stringeine Instanz erstellen von Fooable: instance Fooable String where toFoo = FooString GHC beschwert sich dann: Illegal instance declaration for `Fooable String'...
Ich habe gerade die Definition der Klasse verstanden MonadReader class Monad m => MonadReader r m | m -> r where ... Nachdem ich das Dokument der funktionalen Abhängigkeit in Haskell gelesen habe, kann ich jetzt verstehen, dass | m -> rangegeben wird, dass die Typvariable reindeutig von...