Suchergebnisse für Anfrage "ocaml"
Functional Breadth First Search
Funktionale Tiefensuche ist in gerichteten azyklischen Diagrammen sehr schön. ie können wir jedoch in Diagrammen mit Zyklen eine unendliche Rekursion vermeiden? In einer prozeduralen Sprache würde ich Knoten markieren, wenn ich auf sie treffe, ...
OCaml |> operator
Kann jemand erklären, was der Operator |> macht? Dieser Code wurde der Referenz @ entnommHie [http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html]: let m = PairsMap.(empty |> add (0,1) "hello" |> add (1,0) "world")Ich kann sehen, was es ...
Leistungsunterschied zwischen Pattern Matching und If-else
Warum kann OCaml effizienten Maschinencode für den Mustervergleich und nicht für If-else-Tests generieren? Ich habe Real World OCaml gelesen und bin auf @ gestoßDie [https://realworldocaml.org/v1/en/html/lists-and-patterns.html#performance] ...
Redundanz in OCaml-Typdeklaration (ml / mli)
Ich versuche, eine bestimmte Sache über ocaml-Module und deren Kompilierung zu verstehen: am Ich musste Typen, die bereits in einem @ deklariert wurden, neu deklariere.mli innerhalb des spezifischen.ml Implementierungen? Nur um ein Beispiel ...
Wie werden OCaml-Modultypen (Signaturen) zusammengeführt, die denselben Typ definieren?
In OCaml habe ich zwei Modultypen, die einen Typ definierent: module type Asig = sig type t val a : t end module type Bsig = sig type t val b : t endIch möchte die Erstellung eines Modultyps automatisieren, in dem sie zusammengeführt werden. ...
Polymorphismus in OCaml - ad hoc, parametrisch, Inklusion / Subtypisierung
Ich habe ein Problem damit, die verschiedenen Arten des Polymorphismus zu verstehen, insbesondere in Bezug auf OCaml. Ich verstehe, dass Polymorphismus in OCaml mehrere Typen erlaubt, die als 'a' bezeichnet werden, aber ich verstehe nicht, was ...
Frama-C Plugin Entwicklung: Ergebnis der Wertanalyse erhalten
Ich arbeite an einem Plugin für Frama-C, das die Werteanalyse verwendet. Ich möchte einfach den Status der Variablen (Werte) nach jeder Anweisung drucken (ich denke, die Lösung ist recht einfach, aber ich konnte es nicht herausfinden). Ich habe ...
Kombinieren einer Listenspalte in OCaml
Ich möchte im Wesentlichen eine Matrix in OCaml transponieren (ohne Rekursion oder irgendeine Art von Schleife) Zum Beispiel, wenn ich die folgende Matrix habe:[[1;2];[3;4]], Ich möchte die Ausgabe von @ hab[[1;3];[2;4]]. Was ich bisher getan ...
Funktion gibt Liste in umgekehrter Reihenfolge in OCaml @ zurü
Ich möchte einige Zahlen aus einer Datei lesen, in eine Liste aufnehmen und sie schließlich auf dem Bildschirm anzeigen. numbers.txt hat momentan2 3 5 7 11 Aber als Ausgabe bekomme ich11 7 5 3 2 - : unit = () Warum passiert dies let rec ...
Wie schreibe ich Code in F # für das, was Funktoren in OCaml tun?
Ich habe viele Programme in OCaml geschrieben, einige von ihnen verwenden Funktoren. Jetzt überlege ich, einen Teil des Codes in F # zu schreiben und neu zu schreiben (um einige Vorteile zu nutzen, die OCaml nicht hat). Eine Sache, vor der ich ...