00:08
leo037 has quit ["Leaving"]
00:08
shawn has quit [Remote closed the connection]
00:30
Lena has left #ocaml []
00:51
noteventime has quit ["Someone reprogrammed the connection in C++ :-O"]
00:54
pango has quit [Remote closed the connection]
00:56
pango has joined #ocaml
01:31
pantsd has joined #ocaml
01:53
Smerdyakov has quit ["Leaving"]
01:59
pantsd has quit [Read error: 110 (Connection timed out)]
02:07
yminsky has joined #ocaml
02:10
TRWBW has joined #ocaml
02:10
TRWBW has left #ocaml []
02:13
yminsky has quit []
02:37
Mr_Awesome has quit ["time to impregnate a moth"]
02:52
<
mbishop >
Anyone here know of anyone in the "Ocaml summer project"?
02:52
<
mbishop >
or perhaps anyone doing Ocaml stuff in Google SoC?
02:56
david_koontz has quit ["This computer has gone to sleep"]
02:59
lmbdwr has joined #ocaml
02:59
<
lmbdwr >
has anyone ever used recursive post-conditions or know where I can find a bibliographic reference about it ?
02:59
<
lmbdwr >
what Im asking is not ocaml-specific.
03:03
seafoodX has joined #ocaml
03:10
pantsd has joined #ocaml
03:13
david_koontz has joined #ocaml
03:29
seafoodX has quit []
03:34
buluca has quit [Read error: 113 (No route to host)]
04:13
pantsd has quit ["Leaving."]
04:17
david_koontz has quit ["This computer has gone to sleep"]
04:41
pango has quit [Remote closed the connection]
04:43
pango has joined #ocaml
05:53
<
abez >
lmbdwr: I thought Z notation was recursive?
05:53
<
lmbdwr >
abez, what do you mean "Z notation" ?
05:53
<
abez >
Z notation is a notation used in requirements specification to formalize pre and post-conditions
05:54
Mr_Awesome has joined #ocaml
05:58
<
lmbdwr >
I use the notation of Hoare (axiomatic semantics)
06:00
<
lmbdwr >
it seems that recursion is
_not_ allowed in specification anyway in the Z notation, except for type definitions.
06:06
ygrek has joined #ocaml
06:37
seafoodX has joined #ocaml
06:49
ygrek has quit [Remote closed the connection]
06:52
ygrek has joined #ocaml
06:52
pango has quit [Remote closed the connection]
06:53
pango has joined #ocaml
07:53
Mr_Awesome has quit ["time to impregnate a moth"]
08:19
love-pingoo has quit [Remote closed the connection]
08:43
ygrek has quit ["Leaving"]
09:00
pango has quit ["I shouldn't really be here - dircproxy 1.0.5"]
09:03
pango has joined #ocaml
09:34
junis has joined #ocaml
09:34
<
junis >
greetings... has anyone installed findlib on cygwin?...
09:42
seafoodX has quit []
09:44
pantsd has joined #ocaml
09:45
ygrek has joined #ocaml
09:46
<
flux >
I've done it - it's been quite some time ago, though, but I don't remember encountering any difficulties
10:04
screwt8 has quit [Read error: 104 (Connection reset by peer)]
10:09
screwt8 has joined #ocaml
10:56
<
junis >
anyone know what is the findlib toolbox about... does it require X
11:00
<
flux >
findlib is a tool that keeps track of ocaml libraries
11:00
<
flux >
it could be used for linking in X libraries, though
11:01
<
junis >
yeah but there seems to be a feture... that is called toolbox in findlib... the configure script has an -with-toolbox option
11:01
<
junis >
and i don't know what it is
11:04
<
flux >
it looks like a wizard-kind of tool for constructing META-files..
11:04
<
flux >
I didn't know there was such a thing
11:05
<
flux >
or maybe Makefiles
11:05
<
junis >
so i suppose it might require X... right
11:06
<
flux >
yeah. but by no means is it necessary.
11:06
<
junis >
sure... .o) so i'll just skipp it
11:33
seafoodX has joined #ocaml
11:53
seafoodX has quit [Read error: 110 (Connection timed out)]
11:54
buluca has joined #ocaml
12:37
seafoodX has joined #ocaml
13:10
<
junis >
has anyone inastalles ocamlnet ob Cygwin
13:13
<
junis >
what does Printf.ksprintf do... since which ocaml version do we have it
13:20
<
flux >
might be since 3.09, but it obsoletes kprintf
13:21
<
flux >
so search/replace will do
13:24
seafoodX has quit []
13:27
yminsky has joined #ocaml
13:28
<
junis >
.msg nickserv info
13:34
<
junis >
has anyone used CDuce
13:35
<
tsuyoshi >
I was going to use it and then I got distracted once
13:35
<
tsuyoshi >
it looks really nice
13:36
<
junis >
yeah.. i hope i's fun
13:40
<
tsuyoshi >
the utf8 support is kinda weird.. like it was tacked on later
13:40
junis has quit [Read error: 104 (Connection reset by peer)]
13:40
<
tsuyoshi >
but it is there
13:42
junis has joined #ocaml
13:50
seafoodX has joined #ocaml
13:57
TFK has quit [Read error: 110 (Connection timed out)]
14:11
_blackdog has joined #ocaml
14:14
yminsky has quit []
14:15
_blackdog has left #ocaml []
14:16
yminsky has joined #ocaml
14:21
yminsky has quit [Client Quit]
14:30
love-pingoo has joined #ocaml
14:31
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
14:36
slipstream has joined #ocaml
14:38
yminsky has joined #ocaml
14:45
yminsky has quit []
14:57
G_ has joined #ocaml
15:00
seafoodX has quit []
15:10
G has quit [Connection timed out]
15:19
pango has quit [Remote closed the connection]
15:20
Demitar has quit [Read error: 110 (Connection timed out)]
15:22
pango has joined #ocaml
15:31
jlouis_ has joined #ocaml
15:39
Smerdyakov has joined #ocaml
15:45
jlouis has quit [Read error: 110 (Connection timed out)]
15:56
shawn has joined #ocaml
17:46
buluca has quit [Read error: 113 (No route to host)]
17:49
<
junis >
has anyone worked on commercial applications that did use ocaml?... i'm just curious if it has actually become an industry language...
17:50
<
Smerdyakov >
Jane Street has been for a few years.
17:51
<
junis >
what is Jane Street
17:51
<
junis >
... or should i just ask google... as i just will
17:51
<
junis >
thank you...
17:52
<
junis >
yeah i see... but do you know what kind of applications they produced using ocaml...
17:55
<
Smerdyakov >
Yes. Their whole trading and research infrastructure.
17:55
<
junis >
why... there is there one very very very ugly pdf that says nothing...
17:56
<
Smerdyakov >
I can't parse your last line.
17:58
<
junis >
i just say... that i found a pdf document, pretending to explain why they switched to ocaml, but is actually says nothing...
17:59
<
junis >
... i found it on the url you messaged here
17:59
<
junis >
Smerdyakov: are you sussian ?
17:59
<
junis >
Smerdyakov: are you russian ?
18:00
<
Smerdyakov >
You probably want to read the Monad.Reader article version, not the talk slides.
18:00
<
Smerdyakov >
I only see the talk slides linked from that page.
18:01
<
junis >
so where could i find the pretty stuff.....
18:08
<
junis >
thank you....
18:13
buluca has joined #ocaml
18:14
<
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....
18:15
<
Smerdyakov >
I doubt it.
18:15
<
Smerdyakov >
The developers all use Linux.
18:15
<
Smerdyakov >
Maybe they would be
_able_ to switch, but there would be resistance from the people doing the coding.
18:16
<
Smerdyakov >
And there's always a cost to switching languages/toolsets.
18:19
<
junis >
it's waek what you say...
18:21
<
Smerdyakov >
I don't know what you mean.
18:21
<
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....
18:22
<
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.
18:23
<
junis >
sure... to me too....
18:23
<
junis >
i would not concure you on that...
18:24
<
junis >
but there was listed there that they are using excel and such sit
18:25
<
junis >
and microsoft always makes sure that excel is always the gretest enigma
18:30
<
junis >
... could you name one Excel reader that works well and is not a microsoft product...
18:55
Demitar has joined #ocaml
19:25
junis has quit [Read error: 104 (Connection reset by peer)]
19:28
Mr_Awesome has joined #ocaml
19:43
ygrek has quit [Remote closed the connection]
19:44
ygrek has joined #ocaml
19:58
ygrek has quit ["Leaving"]
20:47
pantsd has quit [Read error: 110 (Connection timed out)]
20:53
fmardini has joined #ocaml
20:54
pantsd has joined #ocaml
21:04
fmardini has quit []
21:52
leo037 has joined #ocaml
22:09
love-pingoo has quit ["Connection reset by pear"]
23:24
leo037 has quit ["urpmi sommeil"]
23:35
codedivine has joined #ocaml
23:41
codedivine has left #ocaml []