[Caml-list] DEFUN 2008 (Developer Tracks on Functional Programming): Call for participation

2008-08-06 Thread Matthew Fluet (ICFP Publicity Chair)
ACM SIGPLAN 2008 Developer Tracks on Functional Programming http://www.deinprogramm.de/defun-2008/ Victoria, BC, Canada, 25, 27 September, 2008 Held in conjunction with ICFP 2008: http://www.icfpconference.org/icfp2008/ DEFUN 2008 i

Re: [Caml-list] native vs bytecode

2008-08-06 Thread Matt Gushee
Alain Frisch wrote: - is it possible to dynamically load native libraries into a native program? This will be possible in the next release of OCaml (3.11). That's great news! Do you have a rough idea of when 3.11 is coming? -- Matt Gushee ___ Cam

Re: [Caml-list] native vs bytecode

2008-08-06 Thread Haoyang Wang
On Wed, Aug 6, 2008 at 12:58 PM, Ben Aurel <[EMAIL PROTECTED]> wrote: > - is it possible to dynamically load bytecode libraries into a native program? This could be done with the asmdynlink library by Fabrice Le Fessant. He reimplemented the bytecode interpreter in ocaml! (Does asmdynlink still wo

Re: [Caml-list] native vs bytecode

2008-08-06 Thread Mauricio Fernandez
On Wed, Aug 06, 2008 at 03:58:22PM -0400, Ben Aurel wrote: > hi > As I try to acquire more knowledge about Ocaml I made a bit of an > unpleseant discovery today. I always was fascinated by the execution > performance of Ocaml. But now I've learned, that this is only true for > native binaries and I

[Caml-list] [ANNOUNCE] virt-mem 0.2.8 has been released

2008-08-06 Thread Richard Jones
[Perhaps people wonder what I do at Red Hat. Copied below is an announcement of some virtualization management tools that we wrote in OCaml. This might be interesting to people on this list because it heavily uses DSLs written in camlp4 and other camlp4 features such as "Reflective OCaml". It's

Re: [Caml-list] native vs bytecode

2008-08-06 Thread Richard Jones
On Wed, Aug 06, 2008 at 03:58:22PM -0400, Ben Aurel wrote: > As I try to acquire more knowledge about Ocaml Ben, your invitation to ocaml_beginners has now been approved so these sorts of questions should go to that list. There are many of the same people, and we provide lots of help very quickly

Re: [Caml-list] native vs bytecode

2008-08-06 Thread Peng Zang
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 What do you mean by "dynamically load"? You cannot mix native and bytecode generally speaking. I don't know of any speed comparisons of OCaml bytecode. You can always compile to native code, which is faster, so I don't understand why you would wan

Re: [Caml-list] native vs bytecode

2008-08-06 Thread Alain Frisch
Ben Aurel wrote: - is it possible to dynamically load bytecode libraries into a bytecode program? Yes: http://caml.inria.fr/pub/docs/manual-ocaml/manual041.html - is it possible to dynamically load native libraries into a native program? This will be possible in the next release of OCaml (3

Re: [Caml-list] [camlp4] expr_of_string, string_of_expr functions exist?

2008-08-06 Thread Jeremy Yallop
Quoting Richard Jones <[EMAIL PROTECTED]>: Maybe a simple question, but does camlp4 have functions to turn expr and patt AST structures to and from strings? One way to do it is to use the Camlp4.Printers module. To illustrate the idea, here's a complete working program that prints out all e

[Caml-list] native vs bytecode

2008-08-06 Thread Ben Aurel
hi As I try to acquire more knowledge about Ocaml I made a bit of an unpleseant discovery today. I always was fascinated by the execution performance of Ocaml. But now I've learned, that this is only true for native binaries and I'm a little confused now: - is it possible to dynamically load nativ

RE: [Caml-list] how to print (or cast) an integer

2008-08-06 Thread David Allsopp
> Also note you do not need "and". That is only required when the variables > being defined are mutually recursive. It would be better style to write: > > let x = 1;; > let y = 2;; The style aspect of your comment is a definite matter of opinion![*] Given that this is a beginner question, it's p

Re: [Caml-list] Re: how do you compile

2008-08-06 Thread Ashish Agarwal
Use ocamlbuild. You can simply type "ocamlbuild lazy_lists.native" or "ocamlbuild lazy_lists.byte" to produce native or byte code respectively. All compiled files get put in a separate directory called _build. On Wed, Aug 6, 2008 at 10:39 AM, Ben Aurel <[EMAIL PROTECTED]> wrote: > > then, the 'fi

[Caml-list] Re: how do you compile

2008-08-06 Thread Ben Aurel
> then, the 'files lazy_lists.cmi' and 'lazy_lists.cmo' are not in the > /bin directory. which is bad On Wed, Aug 6, 2008 at 10:38 AM, Ben Aurel <[EMAIL PROTECTED]> wrote: > hi > > If you have a simple source code like > > lazy_lists.ml > > what is the best way to compile that in your opinion?

[Caml-list] how do you compile

2008-08-06 Thread Ben Aurel
hi If you have a simple source code like lazy_lists.ml what is the best way to compile that in your opinion? I though it would be usefull to have anything but the .ml source code in a bin directory. What do you think of that? If I try that with "ocamlc -o bin/lazy_lists lazy_lists.ml" then,

Re: [Caml-list] how to print (or cast) an integer

2008-08-06 Thread Ashish Agarwal
Also note you do not need "and". That is only required when the variables being defined are mutually recursive. It would be better style to write: let x = 1;; let y = 2;; On Wed, Aug 6, 2008 at 10:08 AM, Ben Aurel <[EMAIL PROTECTED]> wrote: > hi > > again a noob question > > -- > 1 let x = 1 an

Re: [Caml-list] how to print (or cast) an integer

2008-08-06 Thread Andrew Gacek
You can do print_int (x+y) ;; or Printf.printf "%d" (x+y) ;; -Andrew On Wed, Aug 6, 2008 at 9:08 AM, Ben Aurel <[EMAIL PROTECTED]> wrote: > hi > > again a noob question > > -- > 1 let x = 1 and y = 2;; > 2 > 3 x + y ;; > -- > > how can I print the result on line 3? Printf.printf? I can't f

[Caml-list] how to print (or cast) an integer

2008-08-06 Thread Ben Aurel
hi again a noob question -- 1 let x = 1 and y = 2;; 2 3 x + y ;; -- how can I print the result on line 3? Printf.printf? I can't find a solution based on the docu http://caml.inria.fr/pub/docs/manual-ocaml/libref/Printf.html thanks ben ___ Caml-list

Re: [Caml-list] [camlp4] expr_of_string, string_of_expr functions exist?

2008-08-06 Thread Richard Jones
On Tue, Aug 05, 2008 at 07:53:08PM +0200, Christophe TROESTLER wrote: > On Tue, 5 Aug 2008 17:04:26 +0100, Richard Jones wrote: > > > > Maybe a simple question, but does camlp4 have functions to turn > > expr and patt AST structures to and from strings? > > Parsing: > Printing: [..] Thanks, thes