05:11 <llama32> can native compiled ocaml code dynamically link (plugins...)?

05:36 <llama32> anybody?

12:12 <pabs3> is it possible to have ocaml shared libraries ?

12:18 <smimou> pabs3: not easily

12:25 <pabs3> hmmm, ok

19:33 <tspier2> Hallo Anarchos ^_^

19:33 <Anarchos> why is my caml_oldify_one running forever, taking all my cpu ?

19:33 <Anarchos> hello tspier2, dobry dien

19:34 <tspier2> Er, did I just see some Polish?

19:35 <Anarchos> tspier2 i know this is the same in russian, tchekish and polish :)

19:35 <tspier2> Anarchos, jak sie masz?

19:36 <Anarchos> sorry i don't speak polish, i just know those words

19:36 <Anarchos> in russian

19:36 <tspier2> Oh

19:36 <tspier2> Lol

19:37 <tspier2> I only speak a little Polish, a little Spanish, a lot of German, and English.

19:38 <Anarchos> so let us speak english !

19:38 <Anarchos> i interfaced ocaml with a C++ API but it is bugged

19:38 <Anarchos> a call to caml_oldify_one is taking all the time :(

19:44 <tspier2> Sorry, I can't help, because I have no experience with C++, and am basically just starting with OCaml. However, I do have a question. How can I let an equation keep being evaluated, even if it never ends? For example, 2/15 is .1333333, and the 3 keeps going. It stops after like 10 or 15 digits though. How can I have it keep going?

19:45 <Anarchos> hmm look to the option of Printf.printf

19:45 <pango> tspier2: representation of reals are finite in computers

19:46 <Anarchos> you can also set as an option to the toplevel the size of the display of a value before truncate it

19:46 <tspier2> What do you mean, pango?

19:46 <pango> tspier2: I mean that no variable can contain the exact value of 2/15

19:47 <tspier2> I know, but how can you make the evaluating keep going, instead of stopping at ten of fifteen digits?

19:47 <flux__> well, there are numbers that are represented as a ratio, Num-module has those

19:47 <Anarchos> tspier2 use an exact library like intnat

19:49 <tspier2> flux__, if I put "2.0 /. 15.0;;", it stops after the fifteen or so digits. How can I make it keep going?

19:50 <flux__> Printf.printf "%.20f" 1.23456

19:50 <flux__> that will already show the inaccuracy

19:51 <flux__> computers usually don't store 0.3333.. as 1/3, which would be required to get an actual infinite sequence of 3333

19:51 <flux__> they store a number that is close to it

19:53 <tspier2> Gah. I give up.

19:54 <flux__> the Num-module let's you do: approx_num_exp 40 (num_of_int 10 // num_of_int 3);; --> +0.1333333333333333333333333333333333333333e0

19:54 <Anarchos> [OCAMLYACC] Is it possible to use some native chars like '>' as terminals, or should i use a terminal KEYWORD with a semantic attribute ?

19:54 <tspier2> Oh

19:54 <flux__> s/;//

19:54 <flux__> (argh, whatever ;))

19:55 <tspier2> Unbound Value

19:55 <flux__> #load "nums.cma";;

19:56 <flux__> and obviously open Num;;

19:58 <tspier2> Okay. Thanks.

19:59 <tspier2> In OCaml, is there a type like "long int" in C?

20:01 <smimou> nativeint ?

20:03 <pango> Int32.t ?

20:03 <smimou> isn't long arch-dependent? (I never remember)

20:05 <flux__> it's easy in c: they are all implementation dependant

20:06 <Anarchos> tspier2 : in the last version : Int32, Int64

20:07 <tspier2> Okay

20:45 <wimp> why should I prefer ocmal to scheme (which I know) and haskell (which I don't know) ?

20:45 <wimp> I'm really confused by the three (no, not trying to start flame war)

20:45 <wimp> just hoping to get the ocaml argument

20:45 <wimp> from real people rather than random essays

20:46 <smimou> ocaml is strongly typed

20:46 <smimou> (=> better dans scheme I think)

20:47 <smimou> ocaml generates fast programs and is easy to learn

20:47 <smimou> (=> better than haskell)

20:47 <smimou> it's obviously partial

20:57 <wimp> what's the ocaml argument vs code/data being one; of being able to construct lists and eval them on the fly?

21:01 <smimou> could you explain your point a bit more ? I don't understand

21:15 <mattam> wimp wants eval()

21:16 <smimou> ah...

21:16 <smimou> hi mattam btw

21:16 <smimou> how are you ?

21:17 <mattam> it's not type safe and you rarely need it in ocaml (if at all)

21:17 <mattam> fine, hi :)

21:17 <pango> not to mention compiled programs don't contain any interpreter

21:21 <Anarchos> is it possible to use chars instead of terminal symbols in ocmalyacc ??