Re: [Caml-list] mixed functional / object style

2009-04-20 Thread Goswin von Brederlow
Guillaume Hennequin gje.henneq...@gmail.com writes: Dear list, this is a somewhat naive question let's define class a = object  val mutable v = ...  method v = v  method m = something that uses v end ;; now assume that I want to create a lot of those a objects, so many that I may

Re: [Caml-list] Extending modules and signatures

2009-04-20 Thread Martin Jambon
Goswin von Brederlow wrote: Which would also need module A1 = new module A module A2 = new module A A1.incr_x () A1.get_x;; - : int = 124 A2.get_x ();; - : int = 123 So you see A does not have global variables but only instance variables. What you describe are ocaml objects. Not

[Caml-list] [FM 2009] *****submission deadline May 4th*****

2009-04-20 Thread dennis
* * * *FM2009: 16th FM Symposium and 2nd World Congress * * Theory meets practice * * * *

[Caml-list] Interpretation of an error message type ('a, 'b) t should be ('a, 'c) t in a signature?

2009-04-20 Thread Jean Balthazar
Dear caml-list, I try to define the signature of three interdependant classes that should then be derived and completed for various implementation. The code below causes the strange error messsage: File tmp.ml, line 4, characters 7-92: In the definition of job, type ('a, 'b)

Re: [Caml-list] Parallelized parsing

2009-04-20 Thread Mike Lin
There is certainly a reasonable body of basic CS research on parallelizing CFG algorithms such as CYK, the Earley parser, and to a lesser extent the more practical LALR strategy used by yacc etc. (In the latter case it seems to get easier if you're willing to trade off determinism when parsing