I have a class I have created that takes three parameters class lc_classifier (condition:lc_condition) (_action:lc_action) (_params:lc_exp_params) = ...etc ...
... This is because you define the type lc_condition at least two time. Ocaml don't give you warning when you do it (may be it should), but thus strange error...
Hello all, everyone knows that with CAML one can define a parametrized type (such as type 'a set= Set of (('a) list);; ) or classes parametrized by many types...
Hi everyone, I'm trying to translate some of my Scheme experience into Ocaml, and have run into a snag while building some recursive functions. Here's what I ...
Danny Yoo
dyoo@...
Feb 5, 2004 8:34 am
1575
... [snip] ... You have run into the ocaml compiler's "can't use value before it is initialized" restriction. See the thread from last October when I ran into...
Alan Post
apost@...
Feb 5, 2004 9:25 am
1576
Hello all, here is a problem I encountered with classes (it's not a matter of having a code that works, rather of finding a code that avoids repetitive ...
... Well, see if I understand correctly... it seems that you want to have some "partial application" of a class. An easy way to do so is to have: class fclass...
Hello all, everybody knows that one of the big advantages of CAML is that it can guess the types involved in the functions you define. However, in some cases ...
... class declaration are something strange in ocaml because it is at the same time a type declaration, and several function definition (so to speak). Your...
Hi, I tried to make a demo program to dynamically load a module this morning, but gave up after two hours. Would somebody be so nice and send me a working...
Karel Miklav
karel@...
Feb 11, 2004 6:42 am
1581
... Thanks Ernesto and sorry as it looks like I wasn't clear enough. I'm trying to load a bytecode-compiled module in runtime using Dynlink library. Example...
Karel Miklav
karel@...
Feb 11, 2004 12:23 pm
1582
... You can just remove calls to Dynlink.add_interfaces. Toplevel expressions certainly ought to be evaluated at load time - an awful lot of Merjis/mod_caml...
Hello all, does anyone know if the Caml_Light function "stream_check" and the nice pattern-matching(1) have an Objective_Caml equivalent ? (1) As in let...
... you have to use camlp4 for this, but yes : let first_character stream= match stream with parser [< ' 'a|'b|'c >]->"the first character is a,b, or c" ... ...
OK, I've finally decided to address some of the holes in my education, and one one of those is a distinct weakness when it comes to lexing/parsing. So I...
... Well, for starters there is a downloadable book called _Parsing Techniques: A Practical Guide_, by Dick Grune and Ceriel Jacobs. I haven't read the whole...
Everything I know about lexing and parsing (which isn't a lot, but enough to write a simple language) I learned from the GNU info files for flex and bison. ...
... Well, personally I don't have a C background, so I've started with the language theory and the Chomsky grammars. Here are some texts that helped me in...
Hello all, I use ocaml and have two source files, "Preliminaries" and "Heart_of_the_matter". The latter uses objects defined in the former, so that the first...
Aside from Ernesto's great recommendations, I'd like to add a good book about parsing, and it's available online: Parsing Techniques - A Practical Guide by...
... Just to cover all the bases there is also omake which is available as part of mohave here http://mojave.caltech.edu/download.html Its not available...
... Hi William, I just started toying around with ocamllex and ocamlyacc this afternoon, and wrote a few notes to myself as I was playing with it. You might...
Danny Yoo
dyoo@...
Feb 15, 2004 9:45 am
1595
... I was just thinking if Eco had written anything on philosophy of language given his other academic work. "The Perfect Language" is the holy grail of the...
Hi everyone, I've been working on a small Scheme READ equivalent in OCaml, and need some help learning some of the conventions that OCaml programmers follow. ...
My previous six or so attempts to send this message never appeared on the main OCaml list over the past few days, so now I am trying a workaround. Please...