#ocaml on 2011-06-30 — irc logs at freenode.irclog.whitequark.org

2011-04-28 22:06 gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp

00:14 joewilliams_away is now known as joewilliams

00:21 lopex has quit [Ping timeout: 258 seconds]

00:31 KDr2 has joined #ocaml

00:32 <thelema_> sheets: what do you mean by ocamldep calling referenced external functions?

00:33 <thelema_> external foo : type of foo = "caml_foo"

00:33 <sheets> yup

00:33 <thelema_> what are you doing replacing your C stubs?

00:34 <sheets> compile to bytecode

00:34 <sheets> then compile bytecode to js with js_of_ocaml

00:34 <thelema_> oh... hmm

00:34 <sheets> the C stubs print an error and exit

00:34 <thelema_> when you run ocamldep?

00:34 <sheets> they are built into a lib with ocamlmklib

00:34 <thelema_> sure.

00:34 <sheets> then when i run ocamldep on the application that uses this lib

00:35 <thelema_> so you have code with C stubs that just report that they're not implemented

00:35 <sheets> it prints the stub error message and kills the ocamldep

00:35 <sheets> yes

00:35 <sheets> to placate the ocaml compiler

00:35 <thelema_> sure, that makes sense. I can't see why ocamldep would run the code it's depping

00:36 <thelema_> it should just parse the file, extract any referenced external modules and print a line indicating the dependencies

00:37 <sheets> http://pastebin.com/UmQSkwDH

00:37 <thelema_> jsnoj is your stubs?

00:38 <sheets> js_of_ocaml actually has the stubs in it for the caml_ builtins

00:38 <thelema_> is it possible the camlp4 you're using is calling the stubs?

00:38 <sheets> jsonoj is json-static/json-wheel for js_of_ocaml

00:39 <thelema_> ok.

00:39 <sheets> i dunno why the camlp4 would call the stubs… maybe

00:39 <thelema_> how are the stubs constructed?

00:39 <thelema_> let stub_function = failwith ..."?

00:40 <sheets> http://ocsigen.org/js_of_ocaml/sources/lib/Makefile?view=content line 54

00:42 <thelema_> kinda sloppy regex use in the sed line, but I assume it's producing the intended output

00:42 <sheets> yes

00:42 <thelema_> can you pastebin stubs.c?

00:42 <sheets> and the library makes fine

00:42 <sheets> http://pastebin.com/2tKBEMQn

00:43 <thelema_> ok, can you pastebin `grep external *.ml`?

00:43 <sheets> this: http://ocsigen.org/js_of_ocaml/sources/lib/js.ml?view=content ?

00:44 <thelema_> if one of your externals is not a function

00:44 <sheets> line 26

00:44 <thelema_> ... it might get evaluated on module load

00:46 <sheets> the code that's being built makes no calls to Unsafe.constant and the db_array.mli module makes no javascript specific calls at all

00:48 <thelema_> well, you might be able to get a backtrace with the backtrace

00:49 <sheets> by building the lib with debugging and using ocamlparam=b?

00:50 <sheets> does ocamlparam=b work for build commands?

00:50 <thelema_> well, you'd have to raise a real exception instead of printing

00:50 <thelema_> and exiting

00:53 <Xaseron> thelema_: do you know a faster way to get a list of random values than using Random.int?

00:54 <thelema_> faster as in less CPU cycles?

00:54 <Xaseron> the most of the time my benchmark spends on creating a random list

00:54 <thelema_> ok, what kind of random list do you need?

00:56 <Xaseron> >1 million values would be nice in a short time

00:56 <thelema_> uniform distribution 0-2^30?

00:57 <Xaseron> would be nice but not nescessery

00:58 <thelema_> what's necessary?

00:58 <Xaseron> necessary

00:58 <Xaseron> im sorry its late

00:59 <thelema_> you say it'd be nice to have integers uniformly in that range, what's necessary?

00:59 <thelema_> If you do bit twiddling, you can probably save time on random number generation (which is moderately expensive)

01:00 <Xaseron> they dont have to be uniform but not many duplicates

01:00 <thelema_> i.e. generate 3 20-bit numbers from two random.int calls

01:01 <thelema_> If you're using really big lists, maybe an array would be more efficient (it's not a trivial amount of work to create 1M+ cons cells

01:02 fraggle_ has quit [Quit: -ENOBRAIN]

01:03 alexyk has quit [Quit: alexyk]

01:03 <Xaseron> is there no trick to get an uninitlised array?

01:03 <sheets> Xaseron: http://en.wikipedia.org/wiki/Permutation_polynomial ?

01:03 <thelema_> Xaseron: only for strings.

01:04 <thelema_> the other solution is to use a different random number generator. This was recently changed to give better randomness, but is (maybe a bit) more expensive than it was before

01:05 <thelema_> I've not benchmarked the two.

01:06 <thelema_> There's a MT implementation here: http://raevnos.pennmush.org/code/mathlib/

01:06 <thelema_> mmm, I think batteries is going to adopt some of that library - I've been looking for functions to generate random numbers in different distributions

01:06 fraggle_ has joined #ocaml

01:08 Boscop has quit [Ping timeout: 255 seconds]

01:15 <Xaseron> i go to bed and let it bench during that time

01:15 <Xaseron> gn8

01:15 <thelema_> Xaseron: 'nite

01:33 joewilliams is now known as joewilliams_away

02:03 nannto_ has joined #ocaml

02:14 Modius_ has joined #ocaml

02:17 Modius has quit [Ping timeout: 240 seconds]

02:25 Modius_ has quit [Quit: "Object-oriented design" is an oxymoron]

02:25 Modius has joined #ocaml

02:39 impy has quit [Ping timeout: 255 seconds]

02:44 impy has joined #ocaml

02:52 george_z0rwell has quit [Remote host closed the connection]

03:41 dnolen has quit [Quit: dnolen]

03:51 Reaganomicon has joined #ocaml

04:08 ulfdoz has joined #ocaml

04:14 vivanov has joined #ocaml

04:25 alexyk has joined #ocaml

04:39 wolverian has quit [Read error: Operation timed out]

04:40 vivanov has quit [Read error: No route to host]

04:41 wolverian has joined #ocaml

04:41 vivanov has joined #ocaml

04:48 ftrvxmtrx has joined #ocaml

04:50 alexyk has quit [Quit: alexyk]

05:06 nannto_ has quit [Quit: Leaving...]

05:13 Snark has joined #ocaml

05:26 ulfdoz has quit [Read error: Operation timed out]

05:37 alexyk has joined #ocaml

05:39 mjonsson has quit [Read error: Operation timed out]

05:40 philtor has quit [Ping timeout: 276 seconds]

05:51 ankit9 has quit [Quit: Leaving]

05:55 ygrek has joined #ocaml

06:02 ygrek has quit [Ping timeout: 250 seconds]

06:15 ikaros has joined #ocaml

06:15 ygrek has joined #ocaml

06:21 larhat has joined #ocaml

06:25 alexyk has quit [Ping timeout: 252 seconds]

06:29 ftrvxmtrx has quit [Quit: This computer has gone to sleep]

06:39 vivanov has quit [Ping timeout: 258 seconds]

06:41 vivanov has joined #ocaml

06:44 ankit9 has joined #ocaml

07:04 edwin has joined #ocaml

07:20 ygrek has quit [Ping timeout: 250 seconds]

07:51 ftrvxmtrx has joined #ocaml

07:51 ikaros has quit [Quit: Ex-Chat]

08:13 avsm has joined #ocaml

08:44 Amorphous has quit [Ping timeout: 264 seconds]

08:54 Xaseron has quit [Ping timeout: 258 seconds]

08:57 Xaseron has joined #ocaml

08:59 Amorphous has joined #ocaml

09:15 KDr2 has quit [Quit: Leaving.]

09:49 larhat has quit [Quit: Leaving.]

09:49 larhat has joined #ocaml

09:52 eb4890 has joined #ocaml

09:56 jonafan has quit [Ping timeout: 240 seconds]

09:57 ygrek has joined #ocaml

09:57 _andre has joined #ocaml

09:58 jonafan has joined #ocaml

10:19 lopex has joined #ocaml

10:25 jonafan has quit [Ping timeout: 250 seconds]

10:27 lamawithonel has quit [Ping timeout: 276 seconds]

10:40 digimmortal has joined #ocaml

10:47 munga has joined #ocaml

10:51 KDr21 has joined #ocaml

11:06 ygrek has quit [Ping timeout: 250 seconds]

11:30 jonafan has joined #ocaml

11:31 <hcarty> thelema_: It's not pure OCaml, but GSL (via ocamlgsl) provides OCaml with large number of random number distributions

11:34 jonafan has quit [Read error: Operation timed out]

11:35 jonafan has joined #ocaml

11:43 axiles has joined #ocaml

11:57 iratsu has joined #ocaml

11:58 lamawithonel has joined #ocaml

12:05 Tobu has quit [Ping timeout: 258 seconds]

12:08 Tobu has joined #ocaml

12:17 Associat0r has joined #ocaml

12:21 eb4890 has quit [Ping timeout: 240 seconds]

12:23 mjonsson has joined #ocaml

12:23 mjonsson has quit [Remote host closed the connection]

12:37 Goncalo has joined #ocaml

12:59 dnolen has joined #ocaml

13:14 ygrek has joined #ocaml

13:30 ftrvxmtrx has quit [Quit: This computer has gone to sleep]

13:35 iratsu has quit [Quit: Leaving.]

13:36 iratsu1 has joined #ocaml

13:42 iratsu1 has quit [Ping timeout: 250 seconds]

13:43 alexyk has joined #ocaml

14:01 alexyk has quit [Quit: alexyk]

14:02 KDr21 has quit [Quit: Leaving.]

14:04 dnolen has quit [Quit: dnolen]

14:08 iratsu has joined #ocaml

14:12 joewilliams_away is now known as joewilliams

14:17 lopex has quit []

14:20 wtetzner has quit [Read error: Connection reset by peer]

14:41 wm5 has joined #ocaml

14:59 ankit9 has quit [Quit: Leaving]

15:10 digimmortal has quit [Ping timeout: 246 seconds]

15:11 lopex has joined #ocaml

15:19 rwmjones has quit [Ping timeout: 240 seconds]

15:34 rwmjones has joined #ocaml

15:52 mnabil has joined #ocaml

16:05 jamii_ has joined #ocaml

16:19 ikaros has joined #ocaml

16:34 chambart has quit [Ping timeout: 276 seconds]

16:34 sgnb has quit [Read error: Connection reset by peer]

16:35 sgnb has joined #ocaml

16:38 sgnb has quit [Read error: Connection reset by peer]

16:39 sgnb has joined #ocaml

16:48 sepp2k has joined #ocaml

16:50 ygrek has quit [Ping timeout: 250 seconds]

16:54 chambart has joined #ocaml

17:10 ankit9 has joined #ocaml

17:31 ulfdoz has joined #ocaml

17:43 sepp2k has quit [Ping timeout: 255 seconds]

17:54 lamawithonel has quit [Read error: Connection reset by peer]

17:56 BiDOrD has quit [Read error: Connection reset by peer]

17:56 BiDOrD_ has joined #ocaml

17:59 sepp2k has joined #ocaml

18:03 mnabil has quit [Read error: Operation timed out]

18:19 mnabil has joined #ocaml

18:25 zorun has quit [Quit: leaving]

18:27 zorun has joined #ocaml

18:41 larhat has quit [Quit: Leaving.]

18:45 avsm has quit [Quit: Leaving.]

19:05 ftrvxmtrx has joined #ocaml

19:08 mnabil has quit [Ping timeout: 276 seconds]

19:15 jamii_ has quit [Ping timeout: 260 seconds]

19:26 vivanov has quit [Ping timeout: 240 seconds]

19:29 zorun has quit [Quit: leaving]

19:30 zorun has joined #ocaml

19:30 zorun has quit [Client Quit]

19:31 zorun has joined #ocaml

19:40 zorun has quit [Ping timeout: 244 seconds]

19:41 zorun has joined #ocaml

19:48 jamii has joined #ocaml

19:48 mnabil has joined #ocaml

20:00 ygrek has joined #ocaml

20:10 Snark has quit [Quit: Ex-Chat]

20:16 lamawithonel has joined #ocaml

20:19 mnabil has quit [Ping timeout: 240 seconds]

20:19 wm5 has quit [Ping timeout: 240 seconds]

20:23 axiles has quit [Remote host closed the connection]

20:24 _andre has quit [Quit: leaving]

20:28 munga has quit [Read error: Operation timed out]

20:34 iratsu has quit [Ping timeout: 276 seconds]

20:55 iris1 has quit [Read error: Connection reset by peer]

21:03 avsm has joined #ocaml

21:14 edwin has quit [Remote host closed the connection]

21:15 ygrek has quit [Ping timeout: 250 seconds]

21:23 avsm has quit [Ping timeout: 255 seconds]

21:23 othiym23 has joined #ocaml

21:24 Anarchos has joined #ocaml

21:25 avsm has joined #ocaml

21:35 mnabil has joined #ocaml

21:36 iratsu has joined #ocaml

21:41 BiDOrD_ has quit [Read error: Operation timed out]

21:41 BiDOrD has joined #ocaml

22:11 willb has quit [Ping timeout: 255 seconds]

22:21 ikaros has quit [Quit: Ex-Chat]

22:35 KDr2 has joined #ocaml

22:36 mnabil has quit [Ping timeout: 240 seconds]

22:40 KDr2 has quit [Quit: Leaving.]

22:50 mnabil has joined #ocaml

22:58 <sheets> How do I make ocamlbuild only include syntax extension modules in camlp4 calls?

23:12 <sheets> the answer: write your ocamlfind META files correctly

23:30 willb has joined #ocaml

23:33 Associat0r has quit [Ping timeout: 255 seconds]

23:34 dnolen has joined #ocaml

23:36 Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]

23:51 ulfdoz_ has joined #ocaml

23:55 ulfdoz has quit [Ping timeout: 258 seconds]

23:55 ulfdoz_ is now known as ulfdoz