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
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
*
* *
*FM2009: 16th FM Symposium and 2nd World Congress *
* Theory meets practice *
* *
*
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)
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