adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
ulfdoz_ has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
eikke has joined #ocaml
ulfdoz has quit [Ping timeout: 245 seconds]
ulfdoz_ is now known as ulfdoz
Tobu has quit [*.net *.split]
olasd has quit [*.net *.split]
patronus_ has quit [*.net *.split]
olasd has joined #ocaml
olasd has quit [Changing host]
olasd has joined #ocaml
patronus_ has joined #ocaml
bru has joined #ocaml
justdit has quit [Ping timeout: 245 seconds]
justdit has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
srcerer has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
chambart has joined #ocaml
ng_ has joined #ocaml
bru has quit [Ping timeout: 250 seconds]
ontologiae has joined #ocaml
justdit has quit [Ping timeout: 246 seconds]
<ng_> http://en.wikipedia.org/wiki/Stable_marriage_problem I did in C, then I did in ocaml, but it was the wrong way, it was too imperative, only errors, not being easy ....
<ng_> any suggestions?
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
<_habnabit> suggestions on what
<ng_> _habnabit, how can I do this without being a way too imperative ...
<_habnabit> you can do it with a fold and a Map
<ng_> _habnabit, ok, but you could just be a bit more explicit?
<_habnabit> you want me to write it for you?
<ng_> _habnabit, of course not, I just want you to be a little more explicit.....
ontologiae has quit [Ping timeout: 246 seconds]
<dmilith> does ocaml encode strings in utf8?
<dmilith> by default?
<_habnabit> afaik ocaml strings are just bags of bytes
ikaros has quit [Quit: Ex-Chat]
myx has quit [Ping timeout: 265 seconds]
lolcathost has joined #ocaml
eikke has quit [Ping timeout: 248 seconds]
eikke has joined #ocaml
eikke has quit [Ping timeout: 276 seconds]
emmanuelux has quit [Quit: emmanuelux]
chambart has quit [Ping timeout: 246 seconds]
ng_ has quit [Quit: Leaving]
lolcathost has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
lolcathost has joined #ocaml
lolcathost has quit [Ping timeout: 240 seconds]
contempt_ has joined #ocaml
wieczyk_ has joined #ocaml
BiDOrD_ has quit [*.net *.split]
rossberg has quit [*.net *.split]
othiym23 has quit [*.net *.split]
zzz_` has quit [*.net *.split]
tizoc has quit [*.net *.split]
willb has quit [*.net *.split]
Leonidas has quit [*.net *.split]
ttm has quit [*.net *.split]
Fullma has quit [*.net *.split]
mathieui has quit [*.net *.split]
lopex has quit [*.net *.split]
pango has quit [*.net *.split]
bitbckt has quit [*.net *.split]
patronus_ has quit [*.net *.split]
gustav__ has quit [*.net *.split]
fraggle_ has quit [*.net *.split]
vpm has quit [*.net *.split]
Ptival has quit [*.net *.split]
Haseo has quit [*.net *.split]
yezariaely has quit [*.net *.split]
madroach has quit [*.net *.split]
srcerer has quit [*.net *.split]
gnuvince has quit [*.net *.split]
mfp_ has quit [*.net *.split]
emias has quit [*.net *.split]
lambdas` has quit [*.net *.split]
sgnb has quit [*.net *.split]
flux has quit [*.net *.split]
mattrepl has quit [*.net *.split]
ousado has quit [*.net *.split]
alang_ has quit [*.net *.split]
hto has quit [*.net *.split]
nimred has quit [*.net *.split]
pr has quit [*.net *.split]
cornihilio has quit [*.net *.split]
jbrown__ has quit [*.net *.split]
TDJACR_ has quit [*.net *.split]
dmilith has quit [*.net *.split]
tlockney has quit [*.net *.split]
ski has quit [*.net *.split]
noj has quit [*.net *.split]
merijn has quit [*.net *.split]
companion_cube has quit [*.net *.split]
snarkyboojum has quit [*.net *.split]
milosn has quit [*.net *.split]
rwmjones has quit [*.net *.split]
mehdid has quit [*.net *.split]
samposm has quit [*.net *.split]
mk270 has quit [*.net *.split]
leoncamel has quit [*.net *.split]
kba has quit [*.net *.split]
ivan\ has quit [*.net *.split]
brendan has quit [*.net *.split]
adrien has quit [*.net *.split]
diml has quit [*.net *.split]
thizanne has quit [*.net *.split]
olasd has quit [*.net *.split]
wagle has quit [*.net *.split]
f[x] has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
hcarty has quit [*.net *.split]
yroeht has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
jr`` has quit [*.net *.split]
notdan has quit [*.net *.split]
ohama has quit [*.net *.split]
invariant has quit [*.net *.split]
_habnabit has quit [*.net *.split]
benja has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
xaimus has quit [*.net *.split]
TaXules has quit [*.net *.split]
pippijn has quit [*.net *.split]
jlouis has quit [*.net *.split]
pheredhel has quit [*.net *.split]
mal`` has quit [*.net *.split]
fasta has quit [*.net *.split]
ImAlsoGreg has quit [*.net *.split]
thelema has quit [*.net *.split]
cross has quit [*.net *.split]
Derander has quit [*.net *.split]
ulfdoz has quit [*.net *.split]
wormphlegm has quit [*.net *.split]
vbmithr has quit [*.net *.split]
maufred_ has quit [*.net *.split]
bobry_ has quit [*.net *.split]
PM has quit [*.net *.split]
deavid has quit [*.net *.split]
Pantoufle has quit [*.net *.split]
arsatiki has quit [*.net *.split]
Qrntz has quit [*.net *.split]
walter|rtn has quit [*.net *.split]
sivoais has quit [*.net *.split]
teamon has quit [*.net *.split]
jave has quit [*.net *.split]
shajen has quit [*.net *.split]
ccasin has quit [*.net *.split]
ben_zen has quit [*.net *.split]
orbitz has quit [*.net *.split]
jonafan_ has quit [*.net *.split]
contempt has quit [*.net *.split]
larsrh has quit [*.net *.split]
NaCl has quit [*.net *.split]
Obfuscate has quit [*.net *.split]
bacam has quit [*.net *.split]
wieczyk has quit [*.net *.split]
lopex has joined #ocaml
mathieui has joined #ocaml
Fullma has joined #ocaml
ttm has joined #ocaml
mal`` has joined #ocaml
pheredhel has joined #ocaml
jlouis has joined #ocaml
thizanne has joined #ocaml
Asmadeus has joined #ocaml
diml has joined #ocaml
Qrntz has joined #ocaml
adrien has joined #ocaml
arsatiki has joined #ocaml
pippijn has joined #ocaml
noj has joined #ocaml
ski has joined #ocaml
Derander has joined #ocaml
tlockney has joined #ocaml
yroeht has joined #ocaml
pr has joined #ocaml
mk270 has joined #ocaml
_habnabit has joined #ocaml
TaXules has joined #ocaml
flux has joined #ocaml
Pantoufle has joined #ocaml
brendan has joined #ocaml
benja has joined #ocaml
deavid has joined #ocaml
yezariaely has joined #ocaml
samposm has joined #ocaml
ivan\ has joined #ocaml
mehdid has joined #ocaml
nimred has joined #ocaml
invariant has joined #ocaml
hcarty has joined #ocaml
hto has joined #ocaml
Haseo has joined #ocaml
alang_ has joined #ocaml
jpdeplaix has joined #ocaml
Ptival has joined #ocaml
cross has joined #ocaml
snarkyboojum has joined #ocaml
xaimus has joined #ocaml
hyperboreean has joined #ocaml
f[x] has joined #ocaml
PM has joined #ocaml
wagle has joined #ocaml
ousado has joined #ocaml
TDJACR_ has joined #ocaml
vpm has joined #ocaml
notdan has joined #ocaml
bobry_ has joined #ocaml
thelema has joined #ocaml
ImAlsoGreg has joined #ocaml
companion_cube has joined #ocaml
dmilith has joined #ocaml
fasta has joined #ocaml
bitbckt has joined #ocaml
ohama has joined #ocaml
sgnb has joined #ocaml
fraggle_ has joined #ocaml
kba has joined #ocaml
maufred_ has joined #ocaml
lambdas` has joined #ocaml
jbrown__ has joined #ocaml
emias has joined #ocaml
mfp_ has joined #ocaml
rwmjones has joined #ocaml
vbmithr has joined #ocaml
wormphlegm has joined #ocaml
jr`` has joined #ocaml
pango has joined #ocaml
leoncamel has joined #ocaml
mattrepl has joined #ocaml
merijn has joined #ocaml
milosn has joined #ocaml
gnuvince has joined #ocaml
cornihilio has joined #ocaml
ulfdoz has joined #ocaml
olasd has joined #ocaml
patronus_ has joined #ocaml
srcerer has joined #ocaml
madroach has joined #ocaml
jonafan has joined #ocaml
orbitz_ has joined #ocaml
bacam_ has joined #ocaml
larsrh_ has joined #ocaml
Guest1172 has joined #ocaml
Obfuscate has joined #ocaml
ccasin has joined #ocaml
jave has joined #ocaml
teamon has joined #ocaml
shajen has joined #ocaml
sivoais has joined #ocaml
walter|rtn has joined #ocaml
contempt_ has quit [Max SendQ exceeded]
ben_zen_ has joined #ocaml
BiDOrD_ has joined #ocaml
Leonidas has joined #ocaml
rossberg has joined #ocaml
othiym23 has joined #ocaml
zzz_` has joined #ocaml
tizoc has joined #ocaml
willb has joined #ocaml
18WACIE86 has joined #ocaml
justdit has joined #ocaml
contempt has joined #ocaml
ben_zen_ is now known as ben_zen
sivoais has quit [Ping timeout: 252 seconds]
sivoais has joined #ocaml
justdit has quit [Ping timeout: 252 seconds]
gnuvince has quit [Ping timeout: 244 seconds]
cdidd has joined #ocaml
Snark has joined #ocaml
Yoric has joined #ocaml
larsrh_ is now known as larsrh
larsrh is now known as Guest60161
iZsh has joined #ocaml
Guest60161 has quit [Quit: Reconnecting]
larsrh_ has joined #ocaml
larsrh_ has quit [Client Quit]
chambart has joined #ocaml
andreypopp has joined #ocaml
milosn has quit [Read error: Operation timed out]
larsrh has joined #ocaml
answer_42 has joined #ocaml
lolcathost has joined #ocaml
tane has joined #ocaml
milosn has joined #ocaml
xavierm02 has joined #ocaml
larhat has joined #ocaml
18WACIE86 has quit [Read error: Connection reset by peer]
andreypopp has quit [Quit: sleep]
larhat has quit [Ping timeout: 265 seconds]
bacam_ is now known as bacam
andreypopp has joined #ocaml
merijn has left #ocaml []
Cyanure has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Cyanure has joined #ocaml
justdit has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
ikaros has joined #ocaml
bru has joined #ocaml
ftrvxmtrx has joined #ocaml
justdit has quit [Ping timeout: 256 seconds]
spearalot has joined #ocaml
chambart has quit [Ping timeout: 246 seconds]
tane has quit [Quit: Verlassend]
chambart has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
cornihilio has quit [Ping timeout: 252 seconds]
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 260 seconds]
andreypopp has quit [Quit: sleep]
andreypopp has joined #ocaml
cdidd has joined #ocaml
lolcathost has quit [Ping timeout: 246 seconds]
sepp2k has joined #ocaml
andreypopp has quit [Quit: sleep]
lolcathost has joined #ocaml
lolcathost has quit [Client Quit]
lolcathost has joined #ocaml
leoncamel has quit [Ping timeout: 245 seconds]
lolcathost has quit [Quit: Lost terminal]
lolcathost has joined #ocaml
leoncamel has joined #ocaml
bru has quit [Ping timeout: 252 seconds]
chambart has quit [Ping timeout: 246 seconds]
Tobu has joined #ocaml
eikke has joined #ocaml
Cyanure has quit [Remote host closed the connection]
eikke has quit [Ping timeout: 265 seconds]
milosn has quit [Ping timeout: 264 seconds]
mye has joined #ocaml
milosn has joined #ocaml
chambart has joined #ocaml
andreypopp has joined #ocaml
bru has joined #ocaml
eikke has joined #ocaml
ontologiae has joined #ocaml
eikke has quit [Ping timeout: 255 seconds]
eikke has joined #ocaml
andreypopp has quit [Quit: sleep]
Guest1172 is now known as NaCl
NaCl has quit [Changing host]
NaCl has joined #ocaml
pht59x has joined #ocaml
<Qrntz> is there any way to emulate something like Ruby's method_missing in OCaml? CamlinternalOO is about as documented as Obj is, so I'm a bit lost here
<flux> I seriously doubt that
<flux> you want to be able to call foo#anythinghere, have it compile and then do something smart compiletime?
<flux> hmm, s/compile/run/
<Qrntz> exactly
<flux> I don't think OCaml OO is for you, then :)
<Qrntz> well
<Qrntz> I'm thinking of a way to bind SMOKE
<Qrntz> … but can't think of anything that would play nice with the type system
<Qrntz> since it was originally meant for scripting languages
<pht59x> My settings: windows XP +lates Ocaml 4.00 (emacs, bits of Cygwin...). Anyone who managed to make ocamldebuf work ?
bru has quit [Remote host closed the connection]
<flux> qrntz, you might not have other alternatievs than invoke "object" "method" [Str "Arg1; Int "Arg2"] :(
<Qrntz> figures, that's how SWIG does it
chambart has quit [Ping timeout: 246 seconds]
aa has joined #ocaml
aa is now known as Guest4853
ikaros_ is now known as ikaros
Guest4853 has quit [Quit: Page closed]
milosn has quit [Read error: No route to host]
<pht59x> My settings: windows XP +latest Ocaml 4.00 (emacs, bits of Cygwin...). Anyone who managed to make ocamldebug work ?:-/
milosn has joined #ocaml
larhat has joined #ocaml
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
gnuvince has joined #ocaml
pht59x has quit [Ping timeout: 255 seconds]
ontologiae has quit [Ping timeout: 265 seconds]
justdit has quit [Ping timeout: 245 seconds]
pht59x has joined #ocaml
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
Neros has joined #ocaml
justdit has joined #ocaml
justdit_ has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
gal_bolle has joined #ocaml
justdit has joined #ocaml
justdit_ has quit [Ping timeout: 264 seconds]
justdit_ has joined #ocaml
justdit has quit [Ping timeout: 276 seconds]
ontologiae has joined #ocaml
chambart has joined #ocaml
justdit has joined #ocaml
justdit_ has quit [Ping timeout: 265 seconds]
justdit has quit [Read error: Connection reset by peer]
eikke has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
eikke has joined #ocaml
justdit has joined #ocaml
myx has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
justdit has joined #ocaml
justdit has quit [Read error: Connection reset by peer]
leoncamel has quit [Quit: WeeChat 0.3.9.2]
spearalot has quit [Ping timeout: 244 seconds]
andreypopp has joined #ocaml
lolcathost has quit [Quit: Zzz...]
oriba has joined #ocaml
andreypopp has quit [Quit: sleep]
oriba has quit [Quit: oriba]
gustav__ has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Read error: No route to host]
Xizor has joined #ocaml
Anarchos has joined #ocaml
mye has quit [Quit: mye]
mye has joined #ocaml
andreypopp has joined #ocaml
andreypopp has quit [Client Quit]
chambart has quit [Ping timeout: 246 seconds]
<dmilith> anyone did make windows work?
<invariant> Where does opam store which packages the user has instructed to install?
tane has joined #ocaml
jamii has joined #ocaml
cornihilio has joined #ocaml
k0001 has joined #ocaml
mmajchrzak_ has joined #ocaml
mmajchrzak_ is now known as m_m
chambart has joined #ocaml
k0001 has quit [Ping timeout: 246 seconds]
k0001 has joined #ocaml
emmanuelux has joined #ocaml
pht59x has left #ocaml []
Kakadu has joined #ocaml
lambdas` has quit [Ping timeout: 244 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
beginner42 has joined #ocaml
jpdeplaix has quit [Read error: Operation timed out]
<beginner42> can someone tell me why i get unbound module X
Cyanure has joined #ocaml
<Qrntz> because X is not a module
<Qrntz> it is a module type
<Qrntz> I believe we discussed that already.
jpdeplaix has joined #ocaml
<beginner42> Qrntz: Hi. In the corresponding ml file is a module called X
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 244 seconds]
<gustav__> Is labltk included in distributions of OCaml on Windows and Mac OS X...?
answer_42 has quit [Quit: WeeChat 0.3.9.2]
Yoric has quit [Ping timeout: 240 seconds]
chambart has quit [Ping timeout: 246 seconds]
<Qrntz> beginner42, is it annotated with «module X : sig … end» anywhere in the .mli file?
<Qrntz> or do you have just that «module type» binding?
<beginner42> Qrntz: the code on pastebin is my mli file
tane has quit [Quit: Verlassend]
<Qrntz> I see. try adding «module X : X» before your Make functor specification
<beginner42> no change
Snark has quit [Quit: Quitte]
<wieczyk_> With first-class module it is possible to write very readable code, instead of passing some arguments through some functions or have global state it is possible to write code as functor module
<wieczyk_> and write some additional function which creates new instance of this module when called.
<wieczyk_> Moment, example.
<Qrntz> beginner42, is «module type X…» the signature for the module X?
<beginner42> Qrntz: yes
<Qrntz> beginner42, then just include that
<Qrntz> «that» as in, the module type
chambart has joined #ocaml
<beginner42> but isnt that what i am doing with include module type of X?
<Qrntz> no
<beginner42> then i am lost
<Qrntz> «include module type of X» retrieves the signature complementary to a given module implementation for which no signature is provided
<Qrntz> if you have already specified a signature, you can just «include» it
<beginner42> that was the best explanation for include module type of X i have read, thanks a lot
<Qrntz> you're welcome
andreypopp has joined #ocaml
BiDOrD has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
<Qrntz> beginner42, see also http://p.unvnet.net/view/ed81403d
k0001_ has joined #ocaml
BiDOrD_ has quit [Ping timeout: 260 seconds]
ftrvxmtrx has quit [Quit: Leaving]
<beginner42> Qrntz: is there some kind of good programming style regarding the naming of the module types, like writing them in uppercase?
ftrvxmtrx has joined #ocaml
k0001 has quit [Ping timeout: 260 seconds]
<beginner42> Qrntz: and thanks for the example
Xizor has quit [Remote host closed the connection]
<Qrntz> beginner42, what I've seen so far is naming them in all-caps with underscores in place of spaces and according to the module they describe or their purpose, that's what I usually go with too
<Qrntz> just think of how you would name a regular type depending on the values it houses
<Qrntz> actually that'd rather be MY_STRING, but I'm a bit dizzy now so I missed that
<Qrntz> you're welcome in either case
<beginner42> if the module type's name is the same as the module implementation in the ml file it binds them automatically?
andreypopp has quit [Quit: quit]
<Qrntz> no, you'll have to specify that manually
<Qrntz> e. g. «module type FOOABLE = sig type t end module Foo : FOOABLE = struct type t end»
<beginner42> so for each module, name : type = ...?
<Qrntz> in the .mli file you can omit the value part
<Qrntz> so just «name : type»
<Qrntz> as in «module Foo : FOOABLE (* rest of .mli *)»
<beginner42> in your example. Lines 18 to 21 go into the mli file and 23 til 29 go into the ml file?
<beginner42> like that?
<Qrntz> the part of line 23 before the equals sign goes into the .mli
<Qrntz> the rest of lines 23-29 goes into the .ml after the respective «module MyString =»
<Qrntz> since that's the implementation
<Qrntz> «module MyString : MYSTRING» just binds the interface
<beginner42> the line module MyString : MYSTRING actually binds them?
<beginner42> got it
<Qrntz> yep
Kakadu has quit []
<beginner42> gotta go, and thanks again, helped a lot
<Qrntz> see you later
beginner42 has quit [Quit: irc2go]
xavierm02 has quit [Quit: Leaving]
chambart has quit [Ping timeout: 246 seconds]
lolcathost has joined #ocaml
eikke has quit [Ping timeout: 250 seconds]
eikke has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
ikaros has joined #ocaml
k0001 has joined #ocaml
k0001_ has quit [Ping timeout: 240 seconds]
mye has quit [Quit: mye]
Cyanure has quit [Remote host closed the connection]
myx has quit [Ping timeout: 252 seconds]
lolcathost has quit [Ping timeout: 250 seconds]
Cyanure has joined #ocaml
Cyanure has quit [Remote host closed the connection]
thomasga has joined #ocaml
eikke has quit [Ping timeout: 240 seconds]
thomasga has quit [Quit: Leaving.]
eikke has joined #ocaml
gal_bolle has quit [Remote host closed the connection]
mye has joined #ocaml
lolcathost has joined #ocaml
tlockney has quit [Excess Flood]
tlockney has joined #ocaml
m_m has quit [Quit: Leaving]
lolcathost has quit [Ping timeout: 255 seconds]
ontologiae has quit [Ping timeout: 248 seconds]
Neros has quit [Read error: Connection reset by peer]
jamii has quit [Ping timeout: 240 seconds]
mattrepl has quit [Quit: mattrepl]