gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
TechCel has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
Framedragger has quit [Ping timeout: 245 seconds]
Sablier has quit [Read error: Connection reset by peer]
everyonemines has joined #ocaml
hcarty has quit [Ping timeout: 260 seconds]
TechCel has quit [Ping timeout: 260 seconds]
alxbl has quit [Ping timeout: 245 seconds]
alxbl has joined #ocaml
oriba has quit [Remote host closed the connection]
hcarty has joined #ocaml
mjonsson has quit [Read error: Connection reset by peer]
tac-tics has joined #ocaml
tac-tics has quit [Client Quit]
tac-tics[home] has joined #ocaml
mjonsson has joined #ocaml
mattrepl has quit [Quit: mattrepl]
sepp2k has quit [Remote host closed the connection]
emmanuelux has joined #ocaml
<flux> ssbr, let foo : [<`A | `B] as 'a -> 'a = fun x -> x
<flux> or simply let : 'a -> 'a = fun x -> match x with `A -> x
<flux> (+foo)
<flux> or you could use other kinds of type constraints..
mjonsson has quit [Quit: Leaving]
pheredhel has quit [Ping timeout: 245 seconds]
alex-hu has quit [Ping timeout: 245 seconds]
pheredhel has joined #ocaml
alex-hu has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
ocp has joined #ocaml
Progster has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
Cyanure has joined #ocaml
pango is now known as pangoafk
ocp has quit [Ping timeout: 245 seconds]
ankit9 has joined #ocaml
edwin has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
emmanuelux has joined #ocaml
Xizor has joined #ocaml
edwin has quit [Ping timeout: 264 seconds]
edwin has joined #ocaml
Sablier has joined #ocaml
Progster has quit [Ping timeout: 260 seconds]
Xizor has quit [Ping timeout: 260 seconds]
silver has joined #ocaml
eni has joined #ocaml
cago has joined #ocaml
mika1 has joined #ocaml
djcoin has joined #ocaml
emmanuelux has quit [Quit: @+]
Kakadu has joined #ocaml
<Kakadu> Does anybody see a reasom why failwith doesn't stops the execution?
kaustuv has joined #ocaml
<bnwr> Kakadu: because min_dist >= d?
<bnwr> *<=
<Kakadu> hmmm
<Kakadu> It was incorrect question
<bnwr> insert the following before the 'if' statement: Printf.printf "%f %f\n" min_dist d;
<kaustuv> Is this kind of indentation possible in typerex: http://pastebin.com/kp8sQ1qR ?
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
<Kakadu> Now I can reformulate question.
<Kakadu> http://paste.in.ua/4420/#8 Why n can be < 0. ?
Kakadu_ has joined #ocaml
<Ptival> Kakadu: because of step?
<Kakadu> I'm sure that step > 0
<bnwr> Kakadu: if you relly on step being >0 you should add an assertion check/garded failwith statement
<bnwr> As for floats and comparison, I have no idea how they work
<bnwr> (all this nan madness…)
<Ptival> Kakadu: why don't you tell us for what values of step and and d' this happens?
<kaustuv> float coparisons are totally weird when you get to small numbers. Explain this, for instance:
<kaustuv> (min_float /. 2.) < min_float ;;
<Kakadu> min_dist=step=20.0
<Kakadu> n < 0 when from point is very close to point dest
<Ptival> what is printed.
<Ptival> ?
<Kakadu> Ah, It is very difficult question
<Kakadu> I have a library where Math module is located
<Kakadu> and the app which drawes something
<Ptival> "let () = printf "d'=%4.2f, min_dist=%4.2f, n=%4.2f\n" d' min_dist n in"
<Kakadu> code of Math module you have seen above
<Kakadu> And by some reason I can't see printfs from Math in console. Only printfs from debug ...
<kaustuv> use the fully qualified Printf.printf? Or use Printf.eprintf?
<kaustuv> And use %! in the format string instead of calling flush
<Kakadu> kaustuv: Printf.printf
<kaustuv> if you don't see printf's output, then very likely the "printf" in line 9 is not actually Printf.printf but something else
<kaustuv> (unless pa_debug does horrible things with stdin)
edwin has left #ocaml []
<kaustuv> (err stdout)
<Kakadu> Aaaargh! I'm stupid
<Kakadu> facepalm
<Kakadu> I'll never said where the problem was
Yoric has joined #ocaml
BiDOrD has quit [Ping timeout: 246 seconds]
BiDOrD has joined #ocaml
ankit9 has quit [Remote host closed the connection]
ankit9 has joined #ocaml
avsm has quit [Quit: Leaving.]
emmanuelux has joined #ocaml
ftrvxmtrx has joined #ocaml
emmanuelux has quit [Quit: @+]
beckerb has joined #ocaml
avsm has joined #ocaml
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
thomasga has joined #ocaml
ivan\ has quit [Ping timeout: 245 seconds]
ivan\ has joined #ocaml
everyonemines has quit [Quit: Leaving.]
tac-tics[home] has quit [Ping timeout: 246 seconds]
Snark has joined #ocaml
Hussaind has joined #ocaml
emmanuelux has joined #ocaml
Hussaind has left #ocaml []
munga has joined #ocaml
Yoric has quit [Remote host closed the connection]
Framedragger has joined #ocaml
emmanuel__ has joined #ocaml
emmanuel__ has quit [Read error: Connection reset by peer]
emmanuel__ has joined #ocaml
emmanuel__ has quit [Read error: Connection reset by peer]
osa1 has joined #ocaml
tac-tics[home] has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
Framedragger has quit [Ping timeout: 248 seconds]
_andre has joined #ocaml
oriba has joined #ocaml
avsm has quit [Quit: Leaving.]
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
Progster has joined #ocaml
ankit9 has quit [Ping timeout: 246 seconds]
ankit9 has joined #ocaml
gnuvince has quit [Ping timeout: 250 seconds]
Yoric has joined #ocaml
avsm has joined #ocaml
gnuvince has joined #ocaml
mattrepl has joined #ocaml
mattrepl has quit [Client Quit]
lin has joined #ocaml
eni has quit [Ping timeout: 246 seconds]
Submarine has quit [Ping timeout: 265 seconds]
kaustuv has left #ocaml []
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
Progster has quit [Read error: Operation timed out]
smondet has joined #ocaml
smondet2 has joined #ocaml
diego_diego has joined #ocaml
munga has quit [Ping timeout: 252 seconds]
Yoric has quit [Ping timeout: 245 seconds]
fayden has joined #ocaml
ankit9 has quit [Quit: Leaving]
<fayden> Hi, I know this is a really poor question, but I've been trying to find an introduction to OCaml tutorial or book (for free), but I couldn't find an up-to-date resource. Does anyone have a suggestion for someone who wants to jump into the functional programming world?
<flux> fayden, did you try Jason Hickey's Introduction to Objective Caml? (pdf available free)
fayden has quit [Read error: No route to host]
fayden has joined #ocaml
<fayden> flux: sorry, my client crashed. No, I didn't try it, I'll give it a look. Thank you
<flux> it's a shame ocaml-tutorial.org is gone, it was a simple single place to point people to
jknick has joined #ocaml
<orbitz> Yeah, it wasn't that bad either
smondet has quit [Remote host closed the connection]
smondet2 has quit [Remote host closed the connection]
smondet has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
cago has quit [Quit: Leaving.]
mika1 has quit [Quit: Leaving.]
Kakadu has quit [Quit: Page closed]
Kakadu_ has quit [Quit: Page closed]
tac-tics has joined #ocaml
Sablier has quit [Read error: Connection reset by peer]
gnuvince has quit [Ping timeout: 246 seconds]
rwmjones_afk is now known as rwmjones
gnuvince has joined #ocaml
oriba has quit [Remote host closed the connection]
silver has quit [Remote host closed the connection]
Sablier has joined #ocaml
djcoin has quit [Quit: WeeChat 0.3.2]
ankit9 has joined #ocaml
lin has quit [Quit: Leaving]
sepp2k has joined #ocaml
ankit9 has quit [Read error: Connection reset by peer]
avsm has quit [Quit: Leaving.]
ankit9 has joined #ocaml
fayden has quit [Read error: Operation timed out]
Yoric has joined #ocaml
fayden has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
thomasga has quit [Ping timeout: 260 seconds]
jknick has quit [Ping timeout: 248 seconds]
jknick has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
jknick has quit [Ping timeout: 264 seconds]
jknick has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
jknick has quit [Ping timeout: 252 seconds]
pangoafk is now known as pango
jknick has joined #ocaml
carm has joined #ocaml
struktured has quit [Ping timeout: 245 seconds]
jknick has quit [Ping timeout: 244 seconds]
jknick has joined #ocaml
tac-tics[home] has quit [Ping timeout: 246 seconds]
avsm has joined #ocaml
jknick has quit [Ping timeout: 244 seconds]
Xizor has joined #ocaml
jknick has joined #ocaml
Anarchos has joined #ocaml
jknick has quit [Ping timeout: 264 seconds]
jknick has joined #ocaml
ankit9 has quit [Quit: Leaving]
pango is now known as pangoafk
icke has left #ocaml []
eni has joined #ocaml
<orbitz> Should oen switch to ocaml4?
<flux> maybe one can wait till it's released?
osa1 has joined #ocaml
<orbitz> Oh it isn't yet? I was jsut reading a thread in core mailing list about ocmpiling cor eon it
<bitbckt> it's at beta2, right now.
<orbitz> Is ocaml4 going to fracture the Ocaml community liek Python2.x vs 3?
<orbitz> Or is it close enouhg
<bitbckt> it shouldn't.
<orbitz> sweet
<orbitz> bitbckt: ever get a chance to read the VCGC paper?
<bitbckt> orbitz: I did. I remarked at how similar it is to Detlefs and Printezis "mostly-concurrent" collector.
<orbitz> I don't know enough about ht eliterateu to know what hat means quite yet :)
<bitbckt> it's described in the book you're reading, iirc.
<orbitz> jdh talks about it a lo tbeause he says it's pretty simple to implement and gives you good results
<bitbckt> that style of collector is currently the most popular on the JVM.
<orbitz> Ok
<orbitz> is G1 production ready yet?
<bitbckt> for what that's worth.
<bitbckt> ... ish.
<bitbckt> :)
<orbitz> Btw, do you know how Zing gets pausless GC on commoidty hardware? I know how it does it on the appliances (bsically)
<bitbckt> they've implemented the write barriers they need in software and built out their own memory allocation APIs in a kernel module.
<bitbckt> they have a code dump you can study at managedruntime.org
<bitbckt> that code dump, however, is definitely not for prod.
<orbitz> Hah
<orbitz> I heard they open source it but it's like this borken ass veriosn of the code
<bitbckt> yeah.
<bitbckt> "open source"
<bitbckt> to paraphrase Limbaugh (ew), it's "open source in name only"
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<orbitz> is this idea picking up thouhg? The kernel giving rutimes more control?
<bitbckt> not really.
<orbitz> Why?
<bitbckt> it's effective, but takes a lot of work and isn't popular with the kernel guys.
<orbitz> too niche?
<orbitz> ok
<bitbckt> yeah, basically.
ftrvxmtrx has joined #ocaml
<orbitz> Is Azul doing well these days/ Their products have been awesome when I worked iwht them but selling appliances doesn't seem tobe ag ood wya to make money (only so many peopel want a big ass 1TB machine)
<bitbckt> I can't say.
<orbitz> Their real time jvm stats was awesome
<bitbckt> they're getting down into the 10usec pause range, now.
<avsm> their kernel APIs are problematic for a general purpose OS, but fit right into a library OS
<orbitz> bitbckt: I don't really know how to think about that number
<bitbckt> "good" would be a start.
<bitbckt> Hotspot is in the 10msec range at best.
<orbitz> ok
<orbitz> Woudl be kind of interesting ot have an OS that was basically a giant JITing VM
<orbitz> I'm sure someone has done it
<orbitz> I'm guessign Inferno?
<bitbckt> avsm is the guy to ask about that.
* orbitz looks t avsm
<avsm> actually meeting the director of oracle labs tomorrow to chat about that...
<orbitz> interesting...
<avsm> we've pretty much done this for ocaml on xen, but not delved into the jvm yet.
<orbitz> I was thinking about it just now in terms of binary portabilty (you could ship functions off to another machine and itwould just jit it for you and blah)
<orbitz> avsm: what was that called? Mirage?
<avsm> yeah, working on the beta release this week
<avsm> you might want to read this in the meanwhile http://research.microsoft.com/pubs/141071/asplos2011-drawbridge.pdf
<avsm> windows as a library os
<orbitz> Whatis a library OS?
<orbitz> nvm
<adrien> orbitz: ocaml 4 is _very_ close to ocaml 3.12
<adrien> there are new things, but there isn't more breakage that between 3.x and 3.x+1
<orbitz> adrien: only a few backwards compat issues?
<Anarchos> orbitz the last tag defined in trunk is 4.01.0+dev3_2012-05-30
<orbitz> is Leroy given ground at all when it coems to multihthreaded ocaml?
<adrien> mostly if libs and apps build with "warn-error" which they shouldn't doo
<adrien> do*
<orbitz> ok
<Anarchos> orbitz it could be simpler to implement the concurrent GC of Damien Doligez
<orbitz> Anarchos: what is 'it' in this contexT?
<Anarchos> orbitz no idea :)
<orbitz> Hah ok
<orbitz> I mean, are you talking abotu mulithreaded ocaml? or osmething else in the conversion?
<adrien> Anarchos: well, oc4mc is where to look at if you want concurrent stuff
<orbitz> concurrent or parallel?
<adrien> which takes more than one core/processor
<orbitz> Most things I read refer to paralel asthe act of actually doing things at teh same time
ivan\ has joined #ocaml
Yoric has quit [Ping timeout: 248 seconds]
Yoric has joined #ocaml
Submarine has quit [Remote host closed the connection]
tac-tics_ has joined #ocaml
tac-tics has quit [Ping timeout: 245 seconds]
tac-tics_ is now known as tac-tics
Yoric has quit [Ping timeout: 272 seconds]
Yoric has joined #ocaml
Yoric1 has joined #ocaml
Yoric has quit [Read error: No route to host]
avsm has quit [Quit: Leaving.]
Kakadu has joined #ocaml
<Kakadu> # let myprint = Printf.fprintf stdout ;;
<Kakadu> val myprint : ('_a, out_channel, unit) format -> '_a = <fun>
<Kakadu> Can I write this function avoiding '_a?
<Anarchos> Kakadu format types are very special
<flux> kakadu, yes
<flux> let myprint fmt = PRintf.fprintf stdout fmt
<orbitz> Why do you wan to avoid the '_a?
<flux> the normal eta expansion trick works here as well
<flux> orbitz, maybe he wants to use more than one format string..
<flux> Printf.ksprintf is quite nice as welll for doing things like that.
<flux> if you want to for example format it a bit more
<Kakadu> thanks a lot
<orbitz> You guys know anything abotu type providers in F#?
<adrien> ocamldoc shouldn't exist as a bytecode program
fayden has quit [Ping timeout: 272 seconds]
<adrien> it should commit suicide if it's started when built as bytecode
<wmeyer> in multiple threads, that would be a serial suicider
emmanuelux has joined #ocaml
<adrien> well, as opt: 26 seconds
<adrien> as byte: 1 minute 27 seconds
<adrien> I was wrong: 1 minute 54 seconds
<wmeyer> how, 'bout running ocamldoc compiled with js_of_ocaml in a browser to acces the docs :-)
<adrien> (I hadn't "make clean")
* adrien readies his shotgun and visits wmeyer
<wmeyer> i know it's a brilliant idea!
<adrien> think of the planet, save electricity!
<wmeyer> next thing i will do is to print the docs from a comfort of a browser
sepp2k has quit [Ping timeout: 246 seconds]
<Kakadu> and again about my printf
<Kakadu> let myprint fmt = PRintf.fprintf stdout fmt
<Kakadu> Can I sent myprintf to a function and use it with myprintf "%d"... and myprintf "%s" ...
<Kakadu> ?
<orbitz> a function?
<Kakadu> let foo printer = printer "%d" 1; printer "%s" "=)" ;;
<Kakadu> let () = foo myprint;;
<wmeyer> yes you can, what is the problem?
<wmeyer> you need to use explicit recursion here
<Kakadu> em... what?
<wmeyer> the same as you did for f: let myprint : 'a . ('a, out_channel, unit) format -> 'a = fun fmt -> Printf.fprintf stdout fmt;;
<wmeyer>
osa1 has quit [Quit: Konversation terminated!]
<Kakadu> mmmm. the same error: http://paste.in.ua/4425/raw/
sepp2k has joined #ocaml
<wmeyer> no idea :-)
<wmeyer> sorry
<Kakadu> no problem
<wmeyer> explicit polymorphism I meant
<wmeyer> btw: that would be the only way to write these kind of functions
pangoafk is now known as pango
gnuvince has quit [Ping timeout: 244 seconds]
ski has quit [Ping timeout: 248 seconds]
ski has joined #ocaml
_andre has quit [Quit: leaving]
osa1 has joined #ocaml
wmeyer` has joined #ocaml
wmeyer has quit [Ping timeout: 246 seconds]
wmeyer`` has joined #ocaml
wmeyer` has quit [Ping timeout: 245 seconds]
Kakadu has quit [Quit: Konversation terminated!]
Snark has quit [Quit: Quitte]
thelema has quit [Remote host closed the connection]
emmanuelux has quit [Remote host closed the connection]
Xizor has quit [Ping timeout: 260 seconds]
avsm has joined #ocaml
ikaros has joined #ocaml
gnuvince has joined #ocaml
smondet has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
Yoric1 has quit [Ping timeout: 245 seconds]
Cyanure has quit [Remote host closed the connection]
pheredhel has quit [Quit: ZNC by prozac - http://znc.sourceforge.net]
pheredhel has joined #ocaml
Progster has joined #ocaml
<gildor_> hcarty: ping
<gildor_> hcarty: do you consider yourself as a odb.ml expert ?
eni has quit [Ping timeout: 246 seconds]
pheredhel has quit [Ping timeout: 245 seconds]
pheredhel has joined #ocaml
dronf has quit [Read error: Connection reset by peer]
Sablier has quit [Read error: Connection reset by peer]
emmanuelux has joined #ocaml
hcarty has quit [Ping timeout: 260 seconds]
hcarty has joined #ocaml
avsm has quit [Quit: Leaving.]
emmanuelux has quit [Remote host closed the connection]
Progster has quit [Ping timeout: 250 seconds]
hcarty has quit [Ping timeout: 244 seconds]
hcarty has joined #ocaml
<gildor_> hcarty: ping
sepp2k has quit [Remote host closed the connection]