Suchergebnisse für Anfrage "type-systems"
Scala - Erzwingen der Größe des Vektors zur Kompilierungszeit
Ist es möglich, die Größe von a zu erzwingen?
Was sind die Unterschiede und Gemeinsamkeiten von Scala- und Haskell-Systemen?
Wie erklärt man einem Haskell-Experten das Typensystem von Scala? Welche Beispiele zeigen die Vorteile von Scala?Wie erklärt man einem fortgeschrittenen Scal...
Haben alle Programmiersprachen ein klares Konzept von NIL, null oder undefiniert?
Ich schreibe eine Schlüsselwertspeicher-API (wie ODBC, nur die Schnittstelle, nicht den zugrunde liegenden Speicher) in vielen verschiedenen Sprachen, und obwohl ich die API nicht zwischen Sprachen übersetzen möchte, möchte ich beispielsweise ...
Warum wird die Typposition einer Methode als negativ markiert?
Tut mir leid, dass ich einige Fragen wie diese gestellt habe, aber ich kann immer noch keine klare Antwort bekommen, vielleicht hat mein schlechtes Englisch und mein unklarer Ausdruck die freundlichen Leute verwirrt. Wenn ich die ...
Warum gibt es in Haskell "Daten" und "Neuer Typ"? [Duplikat
Diese Frage hat hier bereits eine Antwort: Unterschied zwischen `data` und` newtype` in Haskell [/questions/5889696/difference-between-data-and-newtype-in-haskell] 1 Antwort Es scheint, dass einnewtype definition ist nur eindata -Definition, die ...
Was ist mit Scalas pfadabhängigen Typen gemeint?
Ich habe gehört, dass Scala pfadabhängige Typen hat. Es hat etwas mit inneren Klassen zu tun, aber was bedeutet das eigentlich und warum interessiert es mich?
Entspricht C # der strukturellen Typisierung von Scala?
n Scala kann ich @ definierStrukturtypen [http://codemonkeyism.com/scala-goodness-structural-typing/] wie folgt type Pressable = { def press(): Unit } Dies bedeutet, dass ich eine Funktion oder Methode definieren kann, die als Argument etwas ...
Was ist ein existenzieller Typ?
Ich habe den Wikipedia-Artikel gelesenExistential types [https://en.wikipedia.org/wiki/Type_system#Existential_types]. Ich habe festgestellt, dass sie aufgrund des existenziellen Operators (∃) existenzielle Typen heißen. Ich bin mir jedoch nicht ...
Haskell: Gleichlange Einschränkungen von Listen im Typensystem festlegen
n Haskell habe ich oft eine Funktion wief, das eine Liste akzeptiert und eine Liste gleicher Länge zurückgibt: f :: [a] -> [a] -- length f(xs) == length xs Ähnlich könnte ich eine Funktion wie @ habg, das zwei Listen mit gleicher Länge ...