types

Typen und Typsysteme werden verwendet, um Abstraktionsstufen in Programmen zu erzwingen.
3
Antworten

Generische Java-Felddeklaration

In einer Klasse ohne generische Typen möchte ich ein ziemlich komplexes generisches Feld ähnlich dem folgenden deklarieren: %Vor% Problem ist der Java-Compiler wird mich nicht lassen:) Also meine Frage ist, wie führe ich T und S richtig e...
14.08.2015, 11:15
4
Antworten

Ist es möglich, die F # - Infrastruktur für Maßeinheiten in Scala zu implementieren?

F # wird mit spezieller Unterstützung für ein Maßsystem geliefert, das die statische Sicherheit beim Kompilieren bis zu den numerischen Typen bietet, anstatt die Laufzeit mit Ein- und Auspackvorgängen zu belasten. Ist es möglich, etwas von Sc...
20.09.2011, 15:02
2
Antworten

Beispiel für eine Funktionsdefinition im Datenkonstruktor eines neuen Typs

Wir können Typ-Synonym für Funktionsdefinitionen verwenden, z. B. %Vor% Dies verhindert, dass wir jedes Mal eine lange Funktionsdefinition schreiben. Verwenden: %Vor% Anstelle von %Vor% das ist besser lesbar und weniger Code. E...
14.12.2011, 16:11
3
Antworten

Was ist der richtige Weg, um eine Ocaml-Unterklasse mit zusätzlichen Methoden zu erstellen?

In Ocaml habe ich Probleme mit Unterklassen und Typen: %Vor% Offenbar in Ocaml ist die Klasse sub nicht ein "Subtyp" der Klasse super , weil die Methode sub#doIt eine Methode in sub aufruft, die in% co_de nicht vorhanden ist %....
06.02.2011, 17:07
4
Antworten

Lange im Float, warum?

%Vor% Warum gibt es kein Problem hinsichtlich der Größe des Datentyps und der impliziten Konvertierung? Die Größe von float und long ist anders als wir wissen und die unten angegeben ist ... %Vor%     
04.12.2010, 06:08
6
Antworten

C #: Einschränken von Typen in Methodenparametern (keine generischen Parameter)

Ich möchte eine Funktion wie die folgende programmieren %Vor% Mit anderen Worten, der Argumenttyp ist System.Type , und ich möchte die zulässigen Type s auf diejenigen beschränken, die von MyClass abgeleitet sind. Gibt es eine Mög...
20.05.2009, 03:15
4
Antworten

Typen in Haskell

Ich bin irgendwie neu in Haskell und ich habe Schwierigkeiten zu verstehen, wie abgeleitete Typen und solche Arbeiten. %Vor% Was genau bedeutet das? %Vor% Was sind die Unterschiede zwischen diesen? Und der abgeleitete Typ von foldr...
11.05.2010, 18:41
2
Antworten

Haskell: a - a - ... - b bis [a] - b [duplizieren]

Ich versuche, die folgende Karte als Haskell-Funktion auszudrücken: Bei zwei Typen a, b wird die Familie der Funktionen F(a, b) bestehend aus Funktionen des Typs berücksichtigt %Vor% mit n Wiederholungen von a , wobei n ei...
20.11.2015, 20:16
2
Antworten

Was ist der Typ von "auto var = {condition}? 1: 1.0 "in C ++ 11? Ist es doppelt oder int?

In C ++ 11 was sind die Typen von x und y wenn ich das schreibe? %Vor%     
05.03.2015, 19:36
3
Antworten

Supertypen in Haskell

Entschuldigung im Voraus, wenn ich hier die falsche Terminologie verwende. Was ist der idiomatische Weg in Haskell, um zwei oder mehr Typen zu verallgemeinern, so dass Sie Pattern-Matching gegen sie verschieben können, während Sie den Standar...
14.05.2014, 17:57