mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
<alpounet> rwmjones, xavierbot gone again
fraggle_ has joined #ocaml
alp_ has joined #ocaml
alpounet has quit [Read error: Connection reset by peer]
fraggle_ has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
deco has joined #ocaml
deco has left #ocaml []
drk-sd has quit [Quit: foo]
alp_ has quit [Read error: Connection reset by peer]
silas has quit [Ping timeout: 248 seconds]
silas has joined #ocaml
struktured has quit [Ping timeout: 260 seconds]
vieq has joined #ocaml
vieq has left #ocaml []
alpounet has joined #ocaml
alpounet has quit [Ping timeout: 265 seconds]
alpounet has joined #ocaml
Shoggoth has quit [Quit: Ex-Chat]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
travisbrady has quit [Quit: travisbrady]
boscop has quit [Ping timeout: 246 seconds]
boscop has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
alpounet has quit [Ping timeout: 265 seconds]
alp_ has joined #ocaml
maskd has quit [Quit: leaving]
jakedouglas has joined #ocaml
ccasin has quit [Quit: Leaving]
Amorphous has quit [Ping timeout: 260 seconds]
joewilliams is now known as joewilliams_away
dark is now known as darkazoon
darkazoon is now known as dark
pad has quit [Remote host closed the connection]
Associat0r has quit [Quit: Associat0r]
Amorphous has joined #ocaml
enthymeme has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Quit: Yoric]
caligula__ has joined #ocaml
caligula_ has quit [Read error: Operation timed out]
struktured has joined #ocaml
struktured has quit [Client Quit]
struktured has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
ulfdoz has joined #ocaml
smimou has joined #ocaml
ztfw has quit [Remote host closed the connection]
avsm has joined #ocaml
myu2 has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
ygrek has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
myu2 has quit [Remote host closed the connection]
ttamttam has joined #ocaml
ochameau has joined #ocaml
alp_ has quit [Ping timeout: 265 seconds]
alp_ has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
myu2 has joined #ocaml
alp_ has quit [Ping timeout: 265 seconds]
ftrvxmtrx has joined #ocaml
hcarty has quit [Ping timeout: 258 seconds]
hcarty has joined #ocaml
Associat0r has joined #ocaml
ikaros has joined #ocaml
f[x] has joined #ocaml
th5 has joined #ocaml
avsm has quit [Ping timeout: 258 seconds]
alpounet has joined #ocaml
hyperboreean has quit [Ping timeout: 264 seconds]
dark has quit [Remote host closed the connection]
hyperboreean has joined #ocaml
Associat0r has quit [Quit: Associat0r]
_th5 has joined #ocaml
th5 has quit [Read error: Connection reset by peer]
_th5 is now known as th5
alpounet has quit [Quit: ``Do what you think you can't do.'']
th5 has quit [Quit: th5]
<jsk> Hi everyone, I have a question about objects and narrowing.
<jsk> Consider the following program:
<jsk> type t = < foo : unit >
<jsk> let f (p : t) q = (p, (q :> t))
<jsk> let g (r : 'a) s = (r, (s :> 'a))
<jsk> In the above program, q has type < foo : unit; .. >
<jsk> In other words, q has type "must have at least the method foo".
<jsk> However, s has the exact type 'a.
<jsk> Is there any way to express the type "must have at least the methods of 'a"?.
<jsk> I'd like a function that takes two objects, where the second object is "wider" than the first object.
<jsk> Thanks in advance. :)
onigiri__ has joined #ocaml
onigiri_ has quit [Ping timeout: 276 seconds]
myu2_ has joined #ocaml
myu2_ has quit [Remote host closed the connection]
komar_ has joined #ocaml
myu2 has quit [Ping timeout: 264 seconds]
sepp2k has joined #ocaml
lvillani has joined #ocaml
Submarine has joined #ocaml
valross has quit [Quit: Ex-Chat]
f[x] has quit [Ping timeout: 276 seconds]
f[x] has joined #ocaml
alpounet has joined #ocaml
myu2 has joined #ocaml
pimmhogeling has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
smimou has quit [Changing host]
smimou has joined #ocaml
<mfp> jsk: I believe that constraint cannot be expressed in a generic way; see http://www.mail-archive.com/caml-list@yquem.inria.fr/msg06134.html for a related case
f[x] has quit [Ping timeout: 276 seconds]
ikaros has quit [Remote host closed the connection]
<jsk> mfp: Thanks for responding! The posting you refer to talks about polymorphic variants. Whereas I'm attempting to use object types. Do you believe the same restriction also applies to the object system?
<mfp> they both use a row variable, right?
<mfp> in your case, you're sort of trying to split the row variable into two parts
<mfp> one being thrown away, the other kept as the type of the other parameter
<jsk> yes, that makes sense.
Associat0r has joined #ocaml
<jsk> mfp: thanks again. I'll try to find another way to solve my problem. ;)
<mfp> if you find one, plz share it ;-)
lvillani has quit [Quit: Leaving]
<mfp> I've often tried to express the "this type must be of subtype of this other" constraint
<jsk> mfp: definitely, I'll post if I find a way. :)
avsm has joined #ocaml
jonathandav has left #ocaml []
Associat0r has quit [Quit: Associat0r]
Associat0r has joined #ocaml
prince has quit [Quit: 전 이만 갑니다.]
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
avsm has quit [Quit: Leaving.]
fraggle_ has quit [Ping timeout: 248 seconds]
smimou has quit [Ping timeout: 246 seconds]
fraggle_ has joined #ocaml
_andre has joined #ocaml
_unK has joined #ocaml
f[x] has joined #ocaml
ikaros has joined #ocaml
f[x] has quit [Ping timeout: 268 seconds]
myu2 has quit [Read error: Connection reset by peer]
smimou has joined #ocaml
ttamttam has quit [Quit: Leaving.]
ikaros has quit [Read error: Operation timed out]
ikaros has joined #ocaml
drk-sd has joined #ocaml
<Camarade_Tux> bah, stupid volcano
fraggle_ has quit [Quit: -ENOBRAIN]
ftrvxmtrx has quit [Quit: Leaving]
avsm has joined #ocaml
fraggle_ has joined #ocaml
thrasibule has quit [Ping timeout: 276 seconds]
hyperboreean has quit [Ping timeout: 276 seconds]
hyperboreean has joined #ocaml
hcarty has quit [Quit: leaving]
hcarty has joined #ocaml
julm_ has joined #ocaml
mariusz_ has quit [*.net *.split]
ski has quit [*.net *.split]
julm has quit [*.net *.split]
ski has joined #ocaml
mariusz_ has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
stdDoubt has joined #ocaml
jimmyb2187 has left #ocaml []
jimmyb2187 has joined #ocaml
Submarine has quit [Ping timeout: 246 seconds]
<stdDoubt> class files in ocaml shall be written using several classes per file with one interface file? or should it follow a more java approach using one file per class??
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
derdon has joined #ocaml
<flux> in ocaml land we like to think on modules
<flux> if the classes are related or have private relations, they will likely belong to the same module
<flux> (infact, that's AFAIK the only way to implement 'friend' in ocaml)
avsm has quit [Quit: Leaving.]
<stdDoubt> flux:Thanks
derdon has quit [Ping timeout: 240 seconds]
stdDoubt has quit [Quit: Leaving]
pimmhogeling has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
<hcarty> Any news from the Paris meeting?
<Camarade_Tux> hcarty: :-)
<hcarty> Camarade_Tux: I'm stuck on the other side of the Atlantic, so I'm at the mercy of the native dwellers for news :-)
<Camarade_Tux> heheh :-)
<Camarade_Tux> now the 3D rendering desktop grid with jocaml
komar_ has quit [Quit: WeeChat 0.2.6]
ikaros has quit [Quit: Leave the magic to Houdini]
ftrvxmtrx has joined #ocaml
<hcarty> The presentation topics seem very impressive after looking through the available slides
<Camarade_Tux> :-)
ccasin has joined #ocaml
joewilliams_away is now known as joewilliams
pikachuyann has joined #ocaml
derdon has joined #ocaml
jakedouglas has joined #ocaml
linus5 has joined #ocaml
ikaros has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
<hcarty> Has anyone here does a comparison or evaluation of Core vs Batteries? I'm starting a new project and not sure which to use.
<hcarty> At this point I think I will use Batteries primarily, possibly with a few functions pulled from Core.
gussing_ has joined #ocaml
f[x] has joined #ocaml
ztfw has joined #ocaml
Submarine has joined #ocaml
f[x] has quit [Ping timeout: 268 seconds]
komar_ has joined #ocaml
onigiri__ has quit [Ping timeout: 265 seconds]
f[x] has joined #ocaml
gussing_ has left #ocaml []
thieusoai has joined #ocaml
<derdon> hcarty: what do you mean by "core"? the standard stdlib of OCaml (the one from inria)?
<derdon> hcarty: if yes: prefer the batteries!
<hcarty> derdon: Sorry, I should have been more specific :-) I meant Jane St.'s stdlib replacement Core.
f[x] has quit [Ping timeout: 276 seconds]
komar_ has quit [Quit: WeeChat 0.2.6]
ker_ has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
<derdon> hcarty: oh. I don't know this lib
mjonsson has quit [Ping timeout: 246 seconds]
drk-sd has quit [Quit: foo]
avsm has joined #ocaml
dmsh has joined #ocaml
jakedouglas has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
avsm1 has quit [Quit: Leaving.]
Snark has joined #ocaml
sepp2k has quit [Remote host closed the connection]
julm_ has left #ocaml []
julm has joined #ocaml
itewsh has joined #ocaml
barismetin has quit [Quit: Leaving...]
ygrek has joined #ocaml
komar_ has joined #ocaml
bluestorm has joined #ocaml
bluestorm has quit [Quit: Leaving]
pad has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
mutewit has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
jakedouglas has quit [Quit: Leaving.]
joewilliams is now known as joewilliams_away
ccasin has quit [Quit: Leaving]
drk-sd has joined #ocaml
mjonsson has joined #ocaml
thieusoai has quit [Remote host closed the connection]
ttamttam has joined #ocaml
dmsh_ has joined #ocaml
thieusoai has joined #ocaml
Snark has quit [Quit: Ex-Chat]
_unK has quit [Remote host closed the connection]
dmsh has quit [Read error: Operation timed out]
_unK has joined #ocaml
SEcki has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
Tianon has quit [Read error: Operation timed out]
fraggle_ has joined #ocaml
joewilliams_away is now known as joewilliams
mutewit has quit [Ping timeout: 276 seconds]
jakedouglas has joined #ocaml
ttamttam has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
alpounet has quit [Quit: ``Do what you think you can't do.'']
lvillani has joined #ocaml
brooksbp_ has joined #ocaml
alpounet has joined #ocaml
pimmhogeling has quit [Ping timeout: 248 seconds]
brooksbp has quit [Ping timeout: 240 seconds]
onigiri_ has joined #ocaml
lvillani has quit [Quit: Leaving]
itewsh has quit [Quit: There are only 10 kinds of people: those who understand binary and those who don't]
Submarine has quit [Ping timeout: 240 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
pikachuyann has quit [Remote host closed the connection]
maskd has joined #ocaml
enthymeme has joined #ocaml
ygrek has quit [Remote host closed the connection]
Proteus_ has joined #ocaml
ker_ has quit [Read error: Connection reset by peer]
<alpounet> _zack, congrats!
halfie_ has joined #ocaml
halfie_ has left #ocaml []
halfie has joined #ocaml
<halfie> hi, can someone point me to document showing optimizations flags that can be passed to ocamlbuild
ikaros has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Ping timeout: 246 seconds]
SEcki_ has joined #ocaml
SEcki has quit [Ping timeout: 260 seconds]
travisbrady has joined #ocaml
dmsh_ has left #ocaml []
thrasibule has joined #ocaml
jsk has quit [Read error: Operation timed out]
jonludlam has quit [Ping timeout: 248 seconds]
M| has quit [Ping timeout: 260 seconds]
M| has joined #ocaml
SEcki_ has quit [Read error: Connection reset by peer]
jjd27 has joined #ocaml
jonludlam has joined #ocaml
jsk has joined #ocaml
Associat0r has quit [Quit: Associat0r]
_unK has quit [Remote host closed the connection]
jakedouglas has quit [Quit: Leaving.]
derdon has quit [Ping timeout: 260 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
pad has quit [Remote host closed the connection]
fhoahf38771 has joined #ocaml
fhoahf38771 has left #ocaml []