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]