gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
dsheets has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Quit: -ENOBRAIN]
dsheets has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
ulfdoz has joined #ocaml
abdallah has joined #ocaml
<_habnabit> in map.mli, what does `type (+'a) t` mean as opposed to just `type 'a t` ?
<_habnabit> kinda hard to google
emmanuelux has quit [Remote host closed the connection]
arubin has joined #ocaml
groovy2shoes has joined #ocaml
ankit9 has quit [Read error: Connection timed out]
groovy2shoes has quit [Read error: Connection reset by peer]
fraggle_ has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
<abdallah> _habnabit: it means that when you create a new empty map, you do not know yet what the type will be, but it is not polymorphic.
<abdallah> _habnabit: does it make sense?
<abdallah> _habnabit: never mind, I got confused with '_a ...
Boscop has quit [Ping timeout: 252 seconds]
everyonemines has joined #ocaml
groovy2shoes has joined #ocaml
groovy2shoes has quit [Read error: Connection reset by peer]
<thelema_> _habnabit: + indicates that the type is covariant, - indicated contravariant
<thelema_> *indicates
<_habnabit> ah
bzzbzz has joined #ocaml
<_habnabit> oh, thanks. that makes sense
<thelema_> the ocaml documentation is quite complete but low on redundancy and often important points are buried in larger blocks of text
sepp2k has quit [Quit: Leaving.]
<everyonemines> thelema_: Have you considered a career as a literary critic? :-)
<thelema_> everyonemines: :P
ulfdoz has quit [Quit: deprecated]
ankit9 has joined #ocaml
philtor has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
tautologico has quit [Quit: tautologico]
malc_ has joined #ocaml
avsm has joined #ocaml
philtor has quit [Ping timeout: 255 seconds]
arubin has quit [Quit: arubin]
what7h3 has joined #ocaml
struktured has quit [Ping timeout: 276 seconds]
emmanueloga has joined #ocaml
joewilliams is now known as joewilliams_away
abdallah has quit [Quit: Ex-Chat]
joewilliams_away is now known as joewilliams
malc_ has quit [Read error: Operation timed out]
ygrek has joined #ocaml
Kakadu has joined #ocaml
joewilliams is now known as joewilliams_away
what7h3 has left #ocaml []
struktured has joined #ocaml
struktured has quit [Client Quit]
struktured has joined #ocaml
ttamttam has joined #ocaml
edwin has joined #ocaml
hto has joined #ocaml
dnolen has quit [Quit: dnolen]
Cyanure has joined #ocaml
ygrek has quit [Remote host closed the connection]
struktured has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
mbac has quit [Ping timeout: 260 seconds]
edwin has quit [Quit: Leaving.]
mbac has joined #ocaml
ttamttam has quit [Read error: Operation timed out]
avsm has quit [Quit: Leaving.]
mbac has quit [Ping timeout: 258 seconds]
edwin has joined #ocaml
mbac has joined #ocaml
edwin has quit [Client Quit]
edwin has joined #ocaml
edwin has quit [Quit: Leaving.]
edwin has joined #ocaml
lopex has joined #ocaml
struktured has quit [Read error: Connection reset by peer]
struktured has joined #ocaml
avsm has joined #ocaml
ikaros has joined #ocaml
emmanueloga has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
ttamttam has joined #ocaml
Cyanure has quit [Remote host closed the connection]
Kakadu has quit [Ping timeout: 252 seconds]
lopex has quit []
thomasga has joined #ocaml
thomasga has quit [Client Quit]
Kakadu has joined #ocaml
ikaros has quit [Remote host closed the connection]
ikaros has joined #ocaml
ttamttam has quit [Ping timeout: 258 seconds]
ygrek has joined #ocaml
emmanuelux has joined #ocaml
wishi has quit [Ping timeout: 240 seconds]
ankit9 has quit [Ping timeout: 248 seconds]
schme has quit [Ping timeout: 260 seconds]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
lpereira has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
struktured has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
struktured has quit [Max SendQ exceeded]
struktured has joined #ocaml
milosn has quit [Ping timeout: 260 seconds]
zorun has joined #ocaml
zorun has quit [Read error: No route to host]
zorun has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
emmanuelux has quit [Ping timeout: 244 seconds]
Boscop has joined #ocaml
wagle has quit [Remote host closed the connection]
art_int has joined #ocaml
struktured has quit [Ping timeout: 260 seconds]
oriba has joined #ocaml
wagle has joined #ocaml
Smerdyakov has joined #ocaml
lpereira has quit [Read error: Connection reset by peer]
Boscop_ has joined #ocaml
Boscop has quit [Ping timeout: 244 seconds]
Boscop_ is now known as Boscop
Boscop has quit [Changing host]
Boscop has joined #ocaml
ttamttam has joined #ocaml
avsm has joined #ocaml
ttamttam has quit [Read error: No route to host]
ttamttam has joined #ocaml
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
hto has quit [Quit: Lost terminal]
art_int has quit [Ping timeout: 258 seconds]
dnolen has joined #ocaml
Smerdyakov has quit [Quit: Leaving]
yezariaely has joined #ocaml
yezariaely has left #ocaml []
milosn has joined #ocaml
kusctopia has joined #ocaml
<kusctopia> Say I have a type defined with no specified constructor, "type node = int", for example. How do I define variables of this type?
<_habnabit> well, the types will unify, so it doesn't really matter
<kusctopia> oh...so if I do "let n = 1;;" it will count as both?
<_habnabit> if the `type node = int` is publicly exported, yes
<_habnabit> i.e. in your mli file or if you don't have an mli file
<kusctopia> Alrighty, thanks.
oriba has quit [Quit: oriba]
<_habnabit> if you had an mli file you'd define your functions as returning type node anyway
<kusctopia> Yeah, that is the way I have it setup currently. I was leaving the node definition in the .ml file as without it the ml doesn't know about the type node. Is there a way I can pull the publically exported types in the mli into the ml file? Or do I define it twice?
<_habnabit> you define it twice
dnolen has quit [Quit: dnolen]
<kusctopia> Gotcha, why does OCAML have developers do that? It seems, on the surface, to be an inefficiency.
<_habnabit> they don't have to be the same type.
<_habnabit> i.e. the type in the ml can be a superset of the exported type
<kusctopia> Sure, I see that. An internal representation vs the public one.
arubin has joined #ocaml
avsm has quit [Quit: Leaving.]
joewilliams_away is now known as joewilliams
ttamttam has joined #ocaml
art_int has joined #ocaml
ttamttam has left #ocaml []
kusctopia has left #ocaml []
avsm1 has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
mundkur_ has quit [Ping timeout: 260 seconds]
mundkur has joined #ocaml
art_int has quit [Ping timeout: 245 seconds]
ikaros has quit [Read error: Connection reset by peer]
ikaros has joined #ocaml
everyonemines has quit [Quit: Leaving.]
art_int has joined #ocaml
dnolen has joined #ocaml
hto has joined #ocaml
hto has quit [Ping timeout: 252 seconds]
hto has joined #ocaml
fraggle_ has joined #ocaml
ygrek has joined #ocaml
emmanuelux has joined #ocaml
ygrek has quit [Ping timeout: 248 seconds]
ygrek has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
dnolen has quit [Quit: dnolen]
lopex has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
avsm1 has quit [Quit: Leaving.]
hcarty has quit [Ping timeout: 256 seconds]
hcarty has joined #ocaml
fraggle_laptop has joined #ocaml
fraggle_laptop has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
Asmadeus has quit [Remote host closed the connection]
Asmadeus has joined #ocaml
dnolen has joined #ocaml
dnolen has quit [Client Quit]
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
everyonemines has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Changing host]
Associat0r has joined #ocaml
arubin has quit [Quit: arubin]
ygrek has quit [Remote host closed the connection]
edwin has quit [Remote host closed the connection]
fraggle_ has quit [Ping timeout: 240 seconds]
rixed has quit [Ping timeout: 248 seconds]
Asmadeus has quit [Remote host closed the connection]
Asmadeus has joined #ocaml
avsm has quit [Read error: Connection timed out]
avsm has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
Associat0r has quit [Quit: Associat0r]
Amorphous has quit [Ping timeout: 248 seconds]
mjonsson has joined #ocaml
Amorphous has joined #ocaml
everyonemines has quit [Quit: Leaving.]
dnolen has joined #ocaml
lopex has quit []
mjonsson has quit [Remote host closed the connection]
mjonsson has joined #ocaml
junsuijin has joined #ocaml