Suchergebnisse für Anfrage "types"
Javascript: Was sind einige Richtlinien zum Definieren neuer Datentypen?
Angenommen, Sie erstellen den Datentyp und legen dessen Verhalten offen.Können Sie einige Beispiele nennen, wann Sie verwenden würden:eine Funktion & neu:
Geben Sie Hierarchie in Agda ein
Ich versuche herauszufinden, wie Typhierarchien in Agda funktionieren.Angenommen, ich definiere einen Settyp X:
Versuchen, Typklassen und Untertypen wie Mengen und Teilmengen zu behandeln
Diese Frage steht im Zusammenhang mit meiner vorherigen SO-Frage zuTypklassen. Ich stelle diese Frage, um eine zukünftige Frage zu Gebietsschemas einzurichte...
Vorwärtsdeklarationen für Datensatztypen
Gibt es so etwas wie im Titel? Ich versuche dies zum Teil beim Konvertieren zu tuneine API-Strukturund stoße auf etwas, dem ich noch nicht begegnet bin:
Übergeben Sie den konkreten Objekttyp als Parameter für die generische Methode
Ich habe eine API mit der folgenden generischen Methode
Punkttyp-Befehl für Gnuplot
Ich habe Probleme bei der Verwendung des Befehls pointtype in gnuplot. Ich habe verschiedene Möglichkeiten ausprobiert:
Geben Sie in Haskell einen überprüften zerlegbaren Graphen ein
Angenommen, ich erstelle eine Datenpipeline, die Textdateien verarbeitet. Ich habe folgende Typen und Funktionen: