types, Seitenzahl 10

1

Antwort

Smartcast ist unmöglich, weil propery einen offenen oder benutzerdefinierten Getter hat

Ich lerne Kotlin. Mein Code ist wie folgt: %Vor% attachRouter() Methode: %Vor% Wie in der Dokumentation beschrieben, wird Kotlin automatisch nach der Überprüfung mit dem is-Operator in den Typ umgewandelt. Also habe ich erwartet, da...

11.12.2016, 12:44

2

Antworten

UIButton-Titel einschalten: Ausdruckmuster vom Typ 'String' kann nicht mit Werten vom Typ 'String ?!' übereinstimmen

Ich versuche, einen Schalter in einer @IBAction -Methode zu verwenden, die an mehrere Tasten angeschlossen ist %Vor% Wenn ich das obige versuche, erhalte ich den folgenden Fehler: Das Ausdrucksmuster vom Typ 'String' kann nicht mit...

23.04.2016, 17:42

1

Antwort

Was ist der Zweck von algebraischen Datentypen ohne Konstruktor?

In Haskell können Sie einen algebraischen Datentyp ohne Konstruktor definieren: %Vor% Aber was ist der Zweck eines Typs (oder einer Sorte?), der keinen Konstruktor hat?

25.10.2015, 22:28

2

Antworten

GADT vs Existentiell quantifizierte Typen (* forall *)

Man kann GADT verwenden, um Existentiell quantifizierte Typen auszudrücken. Ich sehe, dass GADT generischer ist - Datentyperweiterungen , Abschnitt Abschnitt 7.4.7 Wenn es besser ist Existentiell quantifizierte Typen zu verwenden,...

03.08.2014, 10:36

3

Antworten

uint128_t nennt keinen Typ

Ich portiere Code von C nach C ++. Während der Konvertierung stieß ich auf: uint128_t nennt keinen Typ Mein Compiler: gcc Version 5.2.1 Mein Betriebssystem: Ubuntu 15.1 Diese kompilierte Strafe wie C und ich dachten, dass es auf...

04.01.2016, 10:06

1

Antwort

RunST verhindert den Zugriff auf die Referenz eines anderen statusbehafteten Threads in einem Closure

Ich bin auf viele Erklärungen des RunST-Rank-2-Typs gestoßen und wie er verhindert, dass die Referenz RunST entgeht. Aber ich konnte nicht herausfinden, warum dies auch den folgenden Code von Typprüfung verhindert (was richtig ist, aber ich will...

04.06.2014, 05:14

1

Antwort

Can Haskell-Datendeklarationen werden durch Typwerte begrenzt

Gibt es in Haskell eine Möglichkeit, einen Datentyp durch den Wert seiner Komponenten zu begrenzen? Ich habe ein Beispiel entworfen. Angenommen, Sie haben ein Dame Spiel. Ein Prüfer ist entweder vom Typ Schwarz oder Weiß. %Vor% Das Spielbret...

03.05.2013, 15:47

3

Antworten

Ist Javas Fehlen von vorzeichenlosen Primitiven eine Eigenschaft von Java, der Plattform oder Java der Sprache?

Es gibt Fragen zu , warum Java keine unsignierten Typen unterstützt und ein paar Fragen zum Umgang mit unsignierten Typen. Ich habe ein wenig gesucht und es scheint, dass Scala auch keine unsignierten Datentypen unterstützt. Ist die Limitierung...

01.12.2011, 17:27

1

Antwort

Was bedeutet es, einen Parameter des Funktionstyps in C ++ zu übergeben?

Vor einiger Zeit habe ich festgestellt, dass es möglich ist, eine C ++ - Funktion zu schreiben, die einen Parameter vom Funktionstyp ( nicht Funktionszeigertyp!) akzeptiert. Zum Beispiel ist hier eine Funktion, die eine Callback-Funktion überni...

18.03.2011, 19:07

1

Antwort

Probleme beim Verständnis von Haskells Typsystem

Ich versuche derzeit 20 Intermediate Haskell Exercises . Ich konnte mit den ersten 3 Übungen fertig werden (aber das liegt daran, dass furry == fmap und Learn You a Haskell hat diese Implementierungen bereits). Ich bin derzeit auf der I...

21.08.2012, 01:52