ocaml, Seitenzahl 7

2

Antworten

OCaml gibt Werte zurück

In dem Buch 'Anwendungen mit OCaml entwickeln' gibt es die folgende Erklärung bezüglich der Rückgabewerte: Da der Wert vor einem Semikolon verworfen wird, gibt Objective CAML eine Warnung aus, wenn sie nicht vom Typ unit ist. %Vor% Ic...

15.06.2011, 06:40

2

Antworten

Kreuzkompilierung von OCAML-Apps für ARM

Ich kompiliere einen Touchscreen-Treiber, der mit einer Ocaml-Kalibrierungsanwendung geliefert wird. Ich versuche den Treiber und die Anwendung für ARM zu kompilieren, insbesondere das Beagleboard, auf dem Angström läuft. Es geht so: %Vo...

27.02.2012, 21:14

1

Antwort

Wenn -g zum Drucken von Stack-Traces in OCaml verwendet werden soll?

Ich versuche, einen StackTrace mit Printexc.get_backtrace zu bekommen, aber ich bekomme einen Fehler: (Program not linked with -g, cannot print stack backtrace) Ich kompiliere so: ocamlfind ocamlc -g -o foo ... $(FOO_OBJS) F...

23.02.2012, 17:42

1

Antwort

Gibt es ein OCaml-Tool, das Best Practices wie Perls Perl :: Critic-Modul unterstützt?

Gibt es ein Tool, das OCaml-Programme analysiert und einige Verbesserungen in Stil und Code vorschlägt? In der Welt von Perl gibt es immer noch Perl :: Critic vermeide schlechten Stil. Was ich brauche, sind einige Werkzeuge, die nicht nur H...

03.01.2011, 09:41

2

Antworten

Können wir Variablenvariablen in der Konstruktorposition im Hindley-Milner-Typensystem haben?

In Haskell können wir den folgenden Datentyp schreiben: %Vor% Die Typvariable f hat die Art * -> * (d. h. es ist ein Konstruktor des unbekannten Typs). Daher hat Fix die Art (* -> *) -> * . Ich frage mich, ob Fix ein g...

06.05.2016, 04:38

2

Antworten

Ein konkretes einfaches Beispiel, um GADT in OCaml zu demonstrieren?

Ich habe nach dem Konzept von GADT in OCaml gesucht, warum wir es brauchen und wann wir es verwenden sollen, usw. Ich verstehe GADT ist nicht nur in OCaml, sondern ein allgemeiner Begriff. Ich habe gefunden Was sind GADTs? Ссылк...

09.01.2015, 15:45

1

Antwort

N-äre Tupel gegen Paare

In Ocaml haben Tupel mit unterschiedlichen Aritäten verschiedene Typ- und Wertekonstruktoren: %Vor% Beachten Sie, dass das zweite Beispiel (b) flexibler ist als das erste (a), da "tail" von b - (2, 3) - selbst ein gültiger Wert ist: %Vor%...

31.01.2013, 08:41

4

Antworten

Wie halte ich OCaml ab, wenn ich meinen reaktiven Event-Handler sammle?

Ich versuche, die OBus -Bibliothek mit Lwt_react . Dies verwendet "funktionale reaktive Programmierung" für Eigenschaften und Signale. Das Problem (wie in der React-Dokumentation ) beschrieben ist, dass OCaml möglicherweise Ihren Callback...

14.11.2013, 10:24

1

Antwort

Ist clojures core.async ähnlich dem OCaml Core Async von Jane Street?

In diesem Blogpost schreibt der Autor: Grenchman baut jedoch auf den Core- und Async-Bibliotheken von Jane Street auf, einem der größten industriellen Anwender von OCaml. Async ermöglicht monadische Faux-Concurrency, die viele Callback-P...

14.10.2013, 21:34

3

Antworten

Optimierungen mit Falten

Ich bin nur neugierig, ob es (nur polymorphe Optimierung erster Ordnung) Optimierungen mit Falten gibt. Für Karten gibt es Abholzung: map g (map f ls) => map (g . f) ls und rev (map f ls) => rev_map f ls (schneller in Ocaml). A...

31.01.2011, 13:43