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!)
pantsd has joined #ocaml
piggybox_ has joined #ocaml
[azoic] has joined #ocaml
smimou has quit ["bli"]
pantsd has quit [Read error: 110 (Connection timed out)]
psnively has quit []
jlouis_ has joined #ocaml
pantsd has joined #ocaml
baruk has joined #ocaml
baruk has quit [Client Quit]
baruk has joined #ocaml
jlouis has quit [Connection timed out]
ita has quit ["leaving"]
ita has joined #ocaml
seafoodX has joined #ocaml
ita has quit [Remote closed the connection]
seafoodX has quit []
jlouis has joined #ocaml
jlouis_ has quit [Connection timed out]
seafoodX has joined #ocaml
jlouis_ has joined #ocaml
Mr_Awesome has joined #ocaml
mordaunt has joined #ocaml
jlouis has quit [Connection timed out]
schme has joined #ocaml
slipstream has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
crabstick has joined #ocaml
piggybox has joined #ocaml
[azoic1 has joined #ocaml
piggybox__ has joined #ocaml
piggybox_ has quit [Read error: 110 (Connection timed out)]
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
[azoic] has quit [Read error: 110 (Connection timed out)]
piggybox has quit [Connection timed out]
thermoplyae has joined #ocaml
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
ygrek has joined #ocaml
gaja has quit ["leaving"]
gaja has joined #ocaml
gaja has quit [Client Quit]
gaja has joined #ocaml
ramki has joined #ocaml
[azoic] has joined #ocaml
jlouis_ has joined #ocaml
[azoic1 has quit [Read error: 110 (Connection timed out)]
delamon has quit ["WeeChat 0.2.1"]
[azoic] has quit ["Leaving."]
jlouis has quit [Connection timed out]
ygrek has quit [Remote closed the connection]
jlouis has joined #ocaml
jlouis__ has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
jlouis has quit [Connection timed out]
jonathanv has quit [Read error: 104 (Connection reset by peer)]
Sparkles has quit [Read error: 104 (Connection reset by peer)]
Sparkles has joined #ocaml
thermoplyae has quit ["daddy's in space"]
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
slipstream has joined #ocaml
jlouis_ has joined #ocaml
bengordon has left #ocaml []
smimou has joined #ocaml
jlouis__ has quit [Connection timed out]
slipstream-- has quit [Read error: 110 (Connection timed out)]
jlouis__ has joined #ocaml
jlouis has quit [Connection timed out]
olegfink has quit [Read error: 104 (Connection reset by peer)]
olegfink has joined #ocaml
jlouis_ has quit [Connection timed out]
Tetsuo has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]
pantsd has joined #ocaml
pantsd has quit [Remote closed the connection]
pantsd has joined #ocaml
patrick_ has quit ["leaving"]
ramky has joined #ocaml
xavierbot has joined #ocaml
ramki has quit [Read error: 113 (No route to host)]
mordaunt has quit [Read error: 104 (Connection reset by peer)]
seafoodX has quit []
crabstick_ has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
Demitar has joined #ocaml
smimou has quit ["bli"]
crabstick has quit [Read error: 110 (Connection timed out)]
<flux> hmh, I think this should produce a warning even without -Z: let a b b = b + b
<flux> not when written in its curried form, though.. perhaps that's why it isn't noticed.
<flux> or perhaps others don't do that mistake as often as I do ;)
<rwmjones> let a b b = b + b ;;
<xavierbot> val a : 'a -> int -> int = <fun>
<rwmjones> let a b = fun b -> b ;;
<xavierbot> val a : 'a -> 'b -> 'b = <fun>
<rwmjones> let a b = fun b -> b + b;;
<xavierbot> val a : 'a -> int -> int = <fun>
baruk has quit ["z"]
schme` has joined #ocaml
smimou has joined #ocaml
schme has quit [Read error: 110 (Connection timed out)]
Abo-Marwan95 has quit [Read error: 104 (Connection reset by peer)]
screwt862 has quit [Read error: 104 (Connection reset by peer)]
schme` has quit [Read error: 104 (Connection reset by peer)]
bluestorm has joined #ocaml
seafoodX has joined #ocaml
<flux> let a a a = a + a;; ;-)
<flux> let a a a = a + a;;
<xavierbot> val a : 'a -> int -> int = <fun>
<flux> hmph
<flux> obfuscated ocaml contest..
<smimou> it's not that much obfuscated...
ramky has quit [Remote closed the connection]
<flux> ah, I got a nice function inversion problem: I have to functions which accept higher order functions they would use, but I want the functions to use each other
<flux> I suppose this cannot be solved without refactoring the functions or without continuations which I don't have
<flux> (or threads)
[azoic] has joined #ocaml
<flux> functions such as: foldl_lines_of_a_file and foldl_store_into_a_db
<flux> or perhaps I'll take one of the libraries that provide nice functions for manipulating streams and then provide fold etc in terms of those
Mr_Awesome has joined #ocaml
Demitar has quit [Connection timed out]
pango has quit [Remote closed the connection]
<flux> has anyone given a try to cothreads?
<bluestorm> flux: what's that ?
<bluestorm> i'd guess it's monad-based parallelism
<flux> nope..
<bluestorm> :]
<flux> it's a google summer of code project that attempts to give better concurrency primitives to ocaml
<bluestorm> hm
<bluestorm> a google summer of code concerning OCaml ?
crathman has joined #ocaml
<flux> that what I gather :)
<bluestorm> « Google, for accepting coThreads(STMlib) as SOC2007 project »
jlouis has joined #ocaml
crathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.7/2007091417]"]
pango has joined #ocaml
seafoodX has quit []
joshcryer has quit [Nick collision from services.]
joshcryer_ has joined #ocaml
jlouis__ has quit [Read error: 110 (Connection timed out)]
authentic has quit [Read error: 113 (No route to host)]
kelaouch1 has joined #ocaml
schme has joined #ocaml
piggybox__ has quit [Connection timed out]
kelaouchi has quit [Read error: 110 (Connection timed out)]
[azoic] has quit ["Leaving."]
Cygaal has joined #ocaml
joshcryer_ is now known as joshcryer
ygrek has joined #ocaml
piggybox has joined #ocaml
slipstream-- has joined #ocaml
Abo-Marwan has joined #ocaml
ita has joined #ocaml
screwt8 has joined #ocaml
slipstream has quit [Read error: 113 (No route to host)]
ita is now known as ita|nap
* mbishop nods
<mbishop> looks pretty neat
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
bluestorm has quit [Remote closed the connection]
delamon has joined #ocaml
bobrik has joined #ocaml
bobrik has left #ocaml []
delamon has quit ["WeeChat 0.2.1"]
ygrek has quit ["Leaving"]
EliasAmaral has quit [Remote closed the connection]
psnively has joined #ocaml
joshcryer has quit ["reboot"]
joshcryer has joined #ocaml
Cygaaal has joined #ocaml
xavierbot has quit [Read error: 110 (Connection timed out)]
Cygaal has quit [Read error: 104 (Connection reset by peer)]
olegfink has quit [Read error: 101 (Network is unreachable)]
Cygaaal has quit ["kthxbye"]
Demitar has joined #ocaml
piggybox has quit ["Leaving"]
Tetsuo has quit [Remote closed the connection]
olegfink has joined #ocaml
Demitar has quit [Read error: 104 (Connection reset by peer)]
ita|nap is now known as ita
Demitar has joined #ocaml
jlouis_ has joined #ocaml
jlouis has quit [Connection timed out]
jonathanv has joined #ocaml
pantsd has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
psnively has quit []
crabstick has joined #ocaml
jlouis_ has quit [Success]
threeve has joined #ocaml
threeve has quit [Client Quit]
threeve has joined #ocaml
pantsd has joined #ocaml
crabstick_ has quit [Read error: 110 (Connection timed out)]