The question has answered itself… in a rather weird way. What it was really asking for (in 2012) was a cross-compiler targeting (an unspecified version of) iOS for version 4.x of Ocaml. And the code dump in the question was trying to use Jeffrey Scofield’s cross-compiling instructions and script (ocamlxarm/3.1) for Ocaml 3.1.x, which didn’t … Read more
So I jumped the gun a bit. I forgot to add some items to my ~/.ocamlinit file. Specifically I forgot to add #use “topfind” #camlp4o #thread #require “core.top” #require “core.syntax” as mentioned in Chapter 1. D’oh!
you have experienced the difference between structural and physical equality. <> is to = (structural equality) as != is to == (physical equality) “odg” = “odg” (* true *) “odg” == “odg” (* false *) is false because each is instantiated in different memory locations, doing: let v = “odg” v == v (* true … Read more
There are lots of differences, some technical, some sociopolitical. I’ve tried to put more important differences first. SML is a language with a definition and a standard. It is stable (and in fact has been frozen so it cannot evolve). Objective Caml is an implementation controlled by a small group at INRIA. It continues to … Read more
The value restriction is a limitation of the OCaml type system that prevents some polymorphic values from being generalized, i.e. having a type that is universally quantified over all type variables. This is done to preserve soundness of the type system in the presence of mutable references and side effects. In your case, the value … Read more