mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
leo037 has quit ["Leaving"]
shawn has quit [Remote closed the connection]
Lena has left #ocaml []
noteventime has quit ["Someone reprogrammed the connection in C++ :-O"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
pantsd has joined #ocaml
Smerdyakov has quit ["Leaving"]
pantsd has quit [Read error: 110 (Connection timed out)]
yminsky has joined #ocaml
TRWBW has joined #ocaml
TRWBW has left #ocaml []
yminsky has quit []
Mr_Awesome has quit ["time to impregnate a moth"]
<mbishop> Anyone here know of anyone in the "Ocaml summer project"?
<mbishop> or perhaps anyone doing Ocaml stuff in Google SoC?
david_koontz has quit ["This computer has gone to sleep"]
lmbdwr has joined #ocaml
<lmbdwr> hello
<lmbdwr> has anyone ever used recursive post-conditions or know where I can find a bibliographic reference about it ?
<lmbdwr> what Im asking is not ocaml-specific.
seafoodX has joined #ocaml
pantsd has joined #ocaml
david_koontz has joined #ocaml
seafoodX has quit []
buluca has quit [Read error: 113 (No route to host)]
pantsd has quit ["Leaving."]
david_koontz has quit ["This computer has gone to sleep"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
<abez> lmbdwr: I thought Z notation was recursive?
<lmbdwr> abez, what do you mean "Z notation" ?
<abez> Z notation is a notation used in requirements specification to formalize pre and post-conditions
Mr_Awesome has joined #ocaml
<lmbdwr> abez, I found http://spivey.oriel.ox.ac.uk/mike/zrm/index.html but I dont use that notation
<lmbdwr> I use the notation of Hoare (axiomatic semantics)
<lmbdwr> it seems that recursion is _not_ allowed in specification anyway in the Z notation, except for type definitions.
ygrek has joined #ocaml
seafoodX has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
Mr_Awesome has quit ["time to impregnate a moth"]
love-pingoo has quit [Remote closed the connection]
ygrek has quit ["Leaving"]
pango has quit ["I shouldn't really be here - dircproxy 1.0.5"]
pango has joined #ocaml
junis has joined #ocaml
<junis> greetings... has anyone installed findlib on cygwin?...
seafoodX has quit []
pantsd has joined #ocaml
ygrek has joined #ocaml
<flux> I've done it - it's been quite some time ago, though, but I don't remember encountering any difficulties
screwt8 has quit [Read error: 104 (Connection reset by peer)]
screwt8 has joined #ocaml
<junis> anyone know what is the findlib toolbox about... does it require X
<flux> no
<flux> findlib is a tool that keeps track of ocaml libraries
<flux> it could be used for linking in X libraries, though
<junis> yeah but there seems to be a feture... that is called toolbox in findlib... the configure script has an -with-toolbox option
<junis> and i don't know what it is
<flux> it looks like a wizard-kind of tool for constructing META-files..
<flux> I didn't know there was such a thing
<flux> or maybe Makefiles
<junis> so i suppose it might require X... right
<flux> yeah. but by no means is it necessary.
<junis> sure... .o) so i'll just skipp it
seafoodX has joined #ocaml
seafoodX has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
seafoodX has joined #ocaml
<junis> has anyone inastalles ocamlnet ob Cygwin
<junis> what does Printf.ksprintf do... since which ocaml version do we have it
<flux> might be since 3.09, but it obsoletes kprintf
<flux> so search/replace will do
<junis> thank you
seafoodX has quit []
yminsky has joined #ocaml
<junis> .msg nickserv info
<junis> woops
<junis> has anyone used CDuce
<tsuyoshi> I was going to use it and then I got distracted once
<tsuyoshi> it looks really nice
<junis> yeah.. i hope i's fun
<tsuyoshi> the utf8 support is kinda weird.. like it was tacked on later
junis has quit [Read error: 104 (Connection reset by peer)]
<tsuyoshi> but it is there
junis has joined #ocaml
seafoodX has joined #ocaml
TFK has quit [Read error: 110 (Connection timed out)]
_blackdog has joined #ocaml
yminsky has quit []
_blackdog has left #ocaml []
yminsky has joined #ocaml
yminsky has quit [Client Quit]
love-pingoo has joined #ocaml
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
yminsky has joined #ocaml
yminsky has quit []
G_ has joined #ocaml
seafoodX has quit []
G has quit [Connection timed out]
pango has quit [Remote closed the connection]
Demitar has quit [Read error: 110 (Connection timed out)]
pango has joined #ocaml
jlouis_ has joined #ocaml
Smerdyakov has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
shawn has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
<junis> has anyone worked on commercial applications that did use ocaml?... i'm just curious if it has actually become an industry language...
<Smerdyakov> Jane Street has been for a few years.
<junis> what is Jane Street
<junis> ... or should i just ask google... as i just will
<junis> thank you...
<junis> yeah i see... but do you know what kind of applications they produced using ocaml...
<Smerdyakov> Yes. Their whole trading and research infrastructure.
<junis> why... there is there one very very very ugly pdf that says nothing...
<Smerdyakov> I can't parse your last line.
<junis> i just say... that i found a pdf document, pretending to explain why they switched to ocaml, but is actually says nothing...
<junis> ... i found it on the url you messaged here
<junis> Smerdyakov: are you sussian ?
<junis> Smerdyakov: are you russian ?
<Smerdyakov> No.
<junis> ok
<Smerdyakov> You probably want to read the Monad.Reader article version, not the talk slides.
<Smerdyakov> I only see the talk slides linked from that page.
<junis> so where could i find the pretty stuff.....
<Smerdyakov> I'm not sure what you're asking, but you might want this answer: http://www.haskell.org/sitewiki/images/0/03/TMR-Issue7.pdf
<junis> thank you....
buluca has joined #ocaml
<junis> i read quite enough bout Jane Street... i think that soon they will find themselves fit to switch to F# as even microsoft will become supporting it officialy....
<Smerdyakov> I doubt it.
<Smerdyakov> The developers all use Linux.
<Smerdyakov> Maybe they would be _able_ to switch, but there would be resistance from the people doing the coding.
<Smerdyakov> And there's always a cost to switching languages/toolsets.
<junis> it's waek what you say...
<Smerdyakov> What?
<Smerdyakov> I don't know what you mean.
<junis> it's funny to think that they would leave the opportunity of using the .NET features (by the means of f#), because of some developers....
<Smerdyakov> To me, it's funny to think that someone would "leave the opportunity" of the advantages of open source, because of some .NET features.
<junis> sure... to me too....
<junis> i would not concure you on that...
<junis> but there was listed there that they are using excel and such sit
<junis> and microsoft always makes sure that excel is always the gretest enigma
<junis> ... could you name one Excel reader that works well and is not a microsoft product...
Demitar has joined #ocaml
<junis> v
<junis>  
<junis>  
<junis>  
junis has quit [Read error: 104 (Connection reset by peer)]
Mr_Awesome has joined #ocaml
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
ygrek has quit ["Leaving"]
pantsd has quit [Read error: 110 (Connection timed out)]
fmardini has joined #ocaml
pantsd has joined #ocaml
fmardini has quit []
leo037 has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
leo037 has quit ["urpmi sommeil"]
codedivine has joined #ocaml
codedivine has left #ocaml []