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!)
bringert has quit []
Yoric[DT] has quit ["Ex-Chat"]
seafood_ has joined #ocaml
yminsky has joined #ocaml
bzzbzz has joined #ocaml
yminsky has quit []
seafood_ has quit []
yminsky has joined #ocaml
JohnnyL has left #ocaml []
seafood_ has joined #ocaml
yminsky has quit []
hsuh has joined #ocaml
ikaros has quit [Remote closed the connection]
cloupsy` has joined #ocaml
cloupsy has quit [Read error: 111 (Connection refused)]
Jeff_123 has joined #ocaml
hsuh has quit ["bye guys"]
jlouis has joined #ocaml
smimou has quit ["bli"]
jlouis has quit [Remote closed the connection]
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
authentic has joined #ocaml
yminsky has joined #ocaml
ita has quit ["Hasta luego!"]
yminsky has quit [Read error: 110 (Connection timed out)]
yminsky has joined #ocaml
yminsky has quit [Client Quit]
pattern has quit [kubrick.freenode.net irc.freenode.net]
fbvortex has quit [kubrick.freenode.net irc.freenode.net]
rwmjones has quit [kubrick.freenode.net irc.freenode.net]
kmeyer has quit [kubrick.freenode.net irc.freenode.net]
gaja has quit [kubrick.freenode.net irc.freenode.net]
zmdkrbou has quit [kubrick.freenode.net irc.freenode.net]
jdavis_ has quit [kubrick.freenode.net irc.freenode.net]
jeremiah has quit [kubrick.freenode.net irc.freenode.net]
Jedai has quit [kubrick.freenode.net irc.freenode.net]
Jeff_123 has quit [kubrick.freenode.net irc.freenode.net]
mrsolo has quit [kubrick.freenode.net irc.freenode.net]
Sparkles has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
opening has quit [kubrick.freenode.net irc.freenode.net]
det has quit [kubrick.freenode.net irc.freenode.net]
bzzbzz has quit [kubrick.freenode.net irc.freenode.net]
rogo has quit [kubrick.freenode.net irc.freenode.net]
seafood has quit [kubrick.freenode.net irc.freenode.net]
bebui has quit [kubrick.freenode.net irc.freenode.net]
richardw has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
jlouis has quit [kubrick.freenode.net irc.freenode.net]
buluca has quit [kubrick.freenode.net irc.freenode.net]
|Catch22| has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
gunark has quit [kubrick.freenode.net irc.freenode.net]
jave has quit [kubrick.freenode.net irc.freenode.net]
Smerdyakov has quit [kubrick.freenode.net irc.freenode.net]
unfo- has quit [kubrick.freenode.net irc.freenode.net]
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
l_a_m has quit [kubrick.freenode.net irc.freenode.net]
cloupsy` has quit [kubrick.freenode.net irc.freenode.net]
jonafan has quit [kubrick.freenode.net irc.freenode.net]
Demitar has quit [kubrick.freenode.net irc.freenode.net]
Tov_enst has quit [kubrick.freenode.net irc.freenode.net]
ulfdoz has quit [kubrick.freenode.net irc.freenode.net]
__suri has quit [kubrick.freenode.net irc.freenode.net]
eroyf has quit [kubrick.freenode.net irc.freenode.net]
guyzmo has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
authentic has quit [kubrick.freenode.net irc.freenode.net]
kelaouchi has quit [kubrick.freenode.net irc.freenode.net]
bla has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
svenl_ has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
kelaouch1 has joined #ocaml
cygnus_ has joined #ocaml
jlouis_ has joined #ocaml
authentic has joined #ocaml
jlouis has joined #ocaml
Jeff_123 has joined #ocaml
cloupsy` has joined #ocaml
bzzbzz has joined #ocaml
buluca has joined #ocaml
kelaouchi has joined #ocaml
pattern has joined #ocaml
mbishop has joined #ocaml
Jedai has joined #ocaml
mrsolo has joined #ocaml
jonafan has joined #ocaml
|Catch22| has joined #ocaml
rogo has joined #ocaml
Demitar has joined #ocaml
ulfdoz has joined #ocaml
__suri has joined #ocaml
Sparkles has joined #ocaml
fbvortex has joined #ocaml
cmeme has joined #ocaml
opening has joined #ocaml
seafood has joined #ocaml
tsuyoshi has joined #ocaml
gunark has joined #ocaml
jave has joined #ocaml
rwmjones has joined #ocaml
kmeyer has joined #ocaml
bebui has joined #ocaml
gaja has joined #ocaml
zmdkrbou has joined #ocaml
richardw has joined #ocaml
Hadaka has joined #ocaml
eroyf has joined #ocaml
l_a_m has joined #ocaml
det has joined #ocaml
svenl_ has joined #ocaml
jdavis_ has joined #ocaml
jeremiah has joined #ocaml
mattam has joined #ocaml
flux has joined #ocaml
Tov_enst has joined #ocaml
gim has joined #ocaml
bla has joined #ocaml
guyzmo has joined #ocaml
Smerdyakov has joined #ocaml
TaXules has joined #ocaml
unfo- has joined #ocaml
acatout has joined #ocaml
hcarty has joined #ocaml
kelaouchi has quit [Connection reset by peer]
jlouis has quit [Connection timed out]
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
cygnus_ has joined #ocaml
cygnus_ has quit [kubrick.freenode.net irc.freenode.net]
jdavis_ has quit [kubrick.freenode.net irc.freenode.net]
rwmjones has quit [kubrick.freenode.net irc.freenode.net]
fbvortex has quit [kubrick.freenode.net irc.freenode.net]
pattern has quit [kubrick.freenode.net irc.freenode.net]
gaja has quit [kubrick.freenode.net irc.freenode.net]
kmeyer has quit [kubrick.freenode.net irc.freenode.net]
jeremiah has quit [kubrick.freenode.net irc.freenode.net]
zmdkrbou has quit [kubrick.freenode.net irc.freenode.net]
Jedai has quit [kubrick.freenode.net irc.freenode.net]
Jeff_123 has quit [kubrick.freenode.net irc.freenode.net]
mrsolo has quit [kubrick.freenode.net irc.freenode.net]
opening has quit [kubrick.freenode.net irc.freenode.net]
Sparkles has quit [kubrick.freenode.net irc.freenode.net]
det has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
rogo has quit [kubrick.freenode.net irc.freenode.net]
seafood has quit [kubrick.freenode.net irc.freenode.net]
bzzbzz has quit [kubrick.freenode.net irc.freenode.net]
richardw has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
bebui has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
|Catch22| has quit [kubrick.freenode.net irc.freenode.net]
gunark has quit [kubrick.freenode.net irc.freenode.net]
jave has quit [kubrick.freenode.net irc.freenode.net]
unfo- has quit [kubrick.freenode.net irc.freenode.net]
Smerdyakov has quit [kubrick.freenode.net irc.freenode.net]
buluca has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
l_a_m has quit [kubrick.freenode.net irc.freenode.net]
cloupsy` has quit [kubrick.freenode.net irc.freenode.net]
Tov_enst has quit [kubrick.freenode.net irc.freenode.net]
jonafan has quit [kubrick.freenode.net irc.freenode.net]
jlouis_ has quit [kubrick.freenode.net irc.freenode.net]
Demitar has quit [kubrick.freenode.net irc.freenode.net]
ulfdoz has quit [kubrick.freenode.net irc.freenode.net]
guyzmo has quit [kubrick.freenode.net irc.freenode.net]
__suri has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
eroyf has quit [kubrick.freenode.net irc.freenode.net]
bla has quit [kubrick.freenode.net irc.freenode.net]
authentic has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
svenl_ has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
kelaouch1 has quit [Read error: 104 (Connection reset by peer)]
pantsd has joined #ocaml
clog has joined #ocaml
Oatskool has joined #ocaml
<hcarty> Is there any harm in using Double_val(Field(foo, n)) for tuples of doubles?
<hcarty> Using Double_field() on a return value from a polymorphic function seems to cause a segfault
<tsuyoshi> hrm.. sometimes with polymorphic functions, they still box the floats
<tsuyoshi> that's probably your problem
<tsuyoshi> in which case you need to use Double_val(Field())
Yoric[DT] has joined #ocaml
<hcarty> If I create a set_callback callback function which takes a (float -> float -> (float * float)) argument and sets that up as the callback - is it still treated like a polymorphic function here?
<hcarty> "it" being the function passed to set_callback
<Yoric[DT]> hi
<Yoric[DT]> hcarty: what do you mean ?
<Yoric[DT]> I assume that your function will remain 'a -> 'a -> ('a * 'a)
<tsuyoshi> uhm.. I think what matters is how the c function is typed
pants1 has quit [Connection timed out]
pants1 has joined #ocaml
<Yoric[DT]> and not '_a -> '_a -> ('_a * '_a)
<hcarty> Yoric[DT]: I'm working on a C library wrapper which needs callbacks in a few places
<tsuyoshi> if the c function gets an array/tuple/record of 'a, and 'a is float, the floats will be boxed
pants2 has joined #ocaml
Oatschool has quit [Connection timed out]
<hcarty> The values are always used as floats in the C function. But as long as it's safe to treat an unboxed float tuple in the same way as a boxed othertype tuple I'll just leave the code as is
pants3 has joined #ocaml
* Yoric[DT] never integrated C code inside OCaml.
pants4 has joined #ocaml
pants5 has joined #ocaml
pants3 has quit [Read error: 104 (Connection reset by peer)]
pants6 has joined #ocaml
pants1 has quit [No route to host]
pants2 has quit [Read error: 110 (Connection timed out)]
mbishop has quit [Remote closed the connection]
<hcarty> It all seems to work now. Thanks very much for the help.
pants4 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Read error: 110 (Connection timed out)]
pants6 has quit [Read error: 110 (Connection timed out)]
cloupsy` has left #ocaml []
cloupsy has joined #ocaml
pants4 has joined #ocaml
seafood_ has quit []
pants5 has joined #ocaml
seafood_ has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
seafood_ has quit [Client Quit]
pants7 has joined #ocaml
pants4 has quit [Connection timed out]
pants5 has quit [Read error: 110 (Connection timed out)]
pants7 has quit [Connection timed out]
sadmac has joined #ocaml
<sadmac> I'm a 3rd year CSC student. I know C, Python, and Ruby at an advanced level. What book should I use to learn OCaml?
<kmeyer> I found the ocaml-tutorial.org site very useful for an intro
<kmeyer> (I would say I know C and Ruby at an intermediate level :-))
<Jeff_123> there's a free book avialable
<sadmac> kmeyer: C I'm definitely hard core at. Ruby... every time I think I've got it I find something new to explore
<kmeyer> heh
<sadmac> Jeff_123: thanks
<Jeff_123> np
<Jeff_123> the only language I'm hard core at is ocaml :(
pants4 has joined #ocaml
pants5 has joined #ocaml
<Jeff_123> this page has some good material http://www.cs.uiuc.edu/class/sp07/cs421/lectures/
pants4 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Read error: 110 (Connection timed out)]
jonathanv has joined #ocaml
ttamttam has joined #ocaml
seafood_ has joined #ocaml
Jeff_123 has quit ["Leaving."]
pants4 has joined #ocaml
pants5 has joined #ocaml
Jeff_123 has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
pants1 has joined #ocaml
pants2 has joined #ocaml
pants4 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Connection timed out]
pants5 has joined #ocaml
Snark has joined #ocaml
pants1 has quit [Connection timed out]
pants2 has quit [Read error: 110 (Connection timed out)]
Jeff_123 has quit ["Quit"]
filp has joined #ocaml
pants5 has quit [Connection timed out]
pants3 has joined #ocaml
seafood_ has quit []
ikaros has joined #ocaml
ikaros has quit [Client Quit]
ikaros has joined #ocaml
cmeme has quit ["Client terminated by server"]
pants3 has quit [Connection timed out]
cmeme has joined #ocaml
pants2 has joined #ocaml
pants3 has joined #ocaml
Tetsuo has joined #ocaml
pants5 has joined #ocaml
pants6 has joined #ocaml
pants2 has quit [Read error: 110 (Connection timed out)]
pants3 has quit [Read error: 110 (Connection timed out)]
kelaouchi has quit ["leaving"]
pants3 has joined #ocaml
pants5 has quit [Read error: 110 (Connection timed out)]
pants6 has quit [Read error: 110 (Connection timed out)]
pants5 has joined #ocaml
kelaouchi has joined #ocaml
cloupsy has quit [Read error: 113 (No route to host)]
pants3 has quit [Read error: 110 (Connection timed out)]
pants3 has joined #ocaml
pants6 has joined #ocaml
pants5 has quit [Read error: 110 (Connection timed out)]
pants4 has joined #ocaml
pants3 has quit [Read error: 110 (Connection timed out)]
pants2 has joined #ocaml
pants6 has quit [Success]
pants4 has quit [Connection timed out]
pants4 has joined #ocaml
pants6 has joined #ocaml
pants2 has quit [Read error: 110 (Connection timed out)]
pants1 has joined #ocaml
pants2 has joined #ocaml
pants5 has joined #ocaml
pants4 has quit [Connection timed out]
pants7 has joined #ocaml
kelaouch1 has joined #ocaml
pants6 has quit [Connection timed out]
pants1 has quit [Read error: 110 (Connection timed out)]
pants2 has quit [Read error: 110 (Connection timed out)]
pants2 has joined #ocaml
pants5 has quit [Read error: 110 (Connection timed out)]
bringert has joined #ocaml
kelaouchi has quit [Read error: 110 (Connection timed out)]
pants5 has joined #ocaml
pants7 has quit [Read error: 110 (Connection timed out)]
pants3 has joined #ocaml
pants6 has joined #ocaml
pants7 has joined #ocaml
pants2 has quit [Connection timed out]
pants1 has joined #ocaml
pants5 has quit [Connection timed out]
pants3 has quit [Read error: 110 (Connection timed out)]
pants5 has joined #ocaml
pants6 has quit [Connection timed out]
pants7 has quit [Connection timed out]
pants1 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Read error: 110 (Connection timed out)]
pants1 has joined #ocaml
bringert has quit []
smimou has joined #ocaml
pants1 has quit [Read error: 110 (Connection timed out)]
Tetsuo has quit [Remote closed the connection]
pants2 has joined #ocaml
hkBst has joined #ocaml
pants2 has quit [Read error: 110 (Connection timed out)]
pants2 has joined #ocaml
kelaouch1 has quit ["leaving"]
pants3 has joined #ocaml
pants4 has joined #ocaml
pants5 has joined #ocaml
pants2 has quit [Read error: 104 (Connection reset by peer)]
pants1 has joined #ocaml
pants3 has quit [Read error: 110 (Connection timed out)]
pants3 has joined #ocaml
pants4 has quit [Read error: 110 (Connection timed out)]
pants5 has quit [Read error: 110 (Connection timed out)]
pants4 has joined #ocaml
bringert has joined #ocaml
pants1 has quit [Read error: 110 (Connection timed out)]
bringert has quit [Client Quit]
pants3 has quit [Read error: 110 (Connection timed out)]
ttamttam has left #ocaml []
buluca has joined #ocaml
marmottine has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
ttamttam has joined #ocaml
filp has quit [calvino.freenode.net irc.freenode.net]
jonathanv has quit [calvino.freenode.net irc.freenode.net]
netx has quit [calvino.freenode.net irc.freenode.net]
mrsolo has quit [calvino.freenode.net irc.freenode.net]
Sparkles has quit [calvino.freenode.net irc.freenode.net]
opening has quit [calvino.freenode.net irc.freenode.net]
det has quit [calvino.freenode.net irc.freenode.net]
filp has joined #ocaml
jonathanv has joined #ocaml
netx has joined #ocaml
mrsolo has joined #ocaml
Sparkles has joined #ocaml
opening has joined #ocaml
det has joined #ocaml
buluca has joined #ocaml
bringert has joined #ocaml
ikaros has quit [Remote closed the connection]
Snark has quit ["Quitte"]
Snark has joined #ocaml
gaja has quit ["leaving"]
kelaouchi has joined #ocaml
Tetsuo has joined #ocaml
rwmjones has quit ["Closed connection"]
rwmjones has joined #ocaml
bongy has joined #ocaml
ttamttam has left #ocaml []
buluca has quit [Read error: 113 (No route to host)]
crathman has joined #ocaml
jonathanv is now known as jonafan
marmottine has quit ["Quitte"]
jonathanv has joined #ocaml
Jedai has quit [Read error: 104 (Connection reset by peer)]
jonafan has quit [Nick collision from services.]
jonathanv is now known as jonafan
Jedai has joined #ocaml
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
Jedai has quit [Read error: 104 (Connection reset by peer)]
Jedai has joined #ocaml
JohnnyL has joined #ocaml
Jedai has quit [Read error: 104 (Connection reset by peer)]
<flux> I wonder if a syntax extension like let CPS a = foo 42 in let CPS b = bar 44 in b -> foo 42 (fun a -> bar 44 (fun b -> b)) would be fun
<flux> perhaps too much syntax, too little to gain.. the greatest advantage being that tuareg mode would indent that nicely ;)
bluestorm_ has joined #ocaml
rwmjones has quit ["Closed connection"]
Jedai has joined #ocaml
filp has quit ["Bye"]
love-pingoo has joined #ocaml
ita has joined #ocaml
suppaman has joined #ocaml
<suppaman> hello
<JohnnyL> hi
crathman has quit ["ChatZilla 0.9.79 [Firefox 2.0.0.11/2007112718]"]
bongy has quit ["Leaving"]
mbishop has joined #ocaml
ita has quit [Read error: 110 (Connection timed out)]
robyonrails has joined #ocaml
robyonrails has quit [Client Quit]
bluestorm_ has quit ["Konversation terminated!"]
love-pingoo has quit ["Connection reset by pear"]
pango has joined #ocaml
Snark has quit ["Quitte"]
tsuyoshi has quit [Remote closed the connection]
tsuyoshi has joined #ocaml
buluca has joined #ocaml
suppaman has quit ["Questo iBook sta riposando"]
suppaman has joined #ocaml
suppaman has quit [Client Quit]
mbishop_ has joined #ocaml
buluca has quit [calvino.freenode.net irc.freenode.net]
mbishop has quit [calvino.freenode.net irc.freenode.net]
cmeme has quit [calvino.freenode.net irc.freenode.net]
ozzloy has quit [calvino.freenode.net irc.freenode.net]
pattern has quit [calvino.freenode.net irc.freenode.net]
fbvortex has quit [calvino.freenode.net irc.freenode.net]
kmeyer has quit [calvino.freenode.net irc.freenode.net]
zmdkrbou has quit [calvino.freenode.net irc.freenode.net]
jdavis_ has quit [calvino.freenode.net irc.freenode.net]
jeremiah has quit [calvino.freenode.net irc.freenode.net]
zmdkrbou has joined #ocaml
cmeme has joined #ocaml
mbishop_ is now known as mbishop
suppaman has joined #ocaml
suppaman has quit [Client Quit]
ozzloy has joined #ocaml
jdavis_ has joined #ocaml
kmeyer has joined #ocaml
pattern has joined #ocaml
jeremiah has joined #ocaml
buluca has joined #ocaml
Tetsuo has quit [Remote closed the connection]
Tetsuo has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
<JohnnyL> Smerdyakov, what was your quote of my understanding of creating a new language?
cloupsy has joined #ocaml
<Smerdyakov> You can check logs as well as I can.
<JohnnyL> oh goodie!!
<JohnnyL> Smerdyakov, i'll bet your alot of fun during holiday parties!!
jlouis_ has quit [Remote closed the connection]
jlouis has joined #ocaml
jlouis has quit [Remote closed the connection]
buluca has joined #ocaml
buluca has quit [Remote closed the connection]
buluca has joined #ocaml
Tetsuo has quit ["Leaving"]
bringert has quit []