Re: [Caml-list] elegant subtyping?

2011-11-06 Thread Markus W. Weißmann
Thanks a lot everyone for all the tips and info -- it's working like a charm! Best regards -Markus On 4 Nov 2011, at 15:50, Vincent Aravantinos wrote: In the end, I think the choice of using polymorphic variants or not should not rely only on the types themselves but also mainly on the

RE: [Caml-list] How to write an efficient interpreter

2011-11-06 Thread Jon Harrop
If the language you are interpreting is quite declarative then piggy-backing on OCaml's run-time either by writing an interpreter or by compiling to OCaml code will be a big advantage. Writing a VM with a run-time as efficient as OCaml's in this context is a *lot* of work compared to writing an

[Caml-list] Call for Participation: APLAS+CPP

2011-11-06 Thread bywang
CALL FOR PARTICIPATION APLAS+CPP Kenting, Taiwan December 4 to 9, 2011 APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange