avsm has quit [Quit: Leaving.]
patronus has quit [Ping timeout: 240 seconds]
patronus has joined #ocaml
Edward__ has quit []
ftrvxmtrx has quit [Quit: Leaving]
mjonsson has joined #ocaml
iago has quit [Quit: Leaving]
nick_nsa_ has quit [Read error: Connection reset by peer]
nick_nsa has joined #ocaml
rks has quit [Ping timeout: 264 seconds]
rks has joined #ocaml
wuj has quit [Ping timeout: 265 seconds]
jakedouglas has quit [Quit: Leaving.]
PascalHunger has left #ocaml []
jpd has quit [Quit: This computer has gone to sleep]
ulfdoz has joined #ocaml
jonafan_ has joined #ocaml
tmaeda has quit [Ping timeout: 240 seconds]
jonafan has quit [Ping timeout: 255 seconds]
tmaeda has joined #ocaml
ccasin has quit [Quit: Leaving]
valross has quit [Quit: Ex-Chat]
ulfdoz has quit [Ping timeout: 255 seconds]
ikaros has joined #ocaml
ygrek has joined #ocaml
Modius has quit [Ping timeout: 264 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
Modius has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
Yoric has joined #ocaml
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
init_ has joined #ocaml
iago has joined #ocaml
oriba has joined #ocaml
<
oriba>
hi. can I push back one char into ocallex-lexer?
<
oriba>
or can I somehow otherwise "rewind" the lexer? maybe via the poitioin-fields and flush_input?
<
gildor>
oriba: I don't think so
ttamttam has joined #ocaml
boscop has quit [Ping timeout: 252 seconds]
Tobu has quit [Quit: Leaving.]
Yoric has quit [Read error: Connection reset by peer]
Yoric_ has joined #ocaml
Yoric_ has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
Tobu has joined #ocaml
oriba_ has joined #ocaml
<
flux>
yeah, it would be fun if the lexer returned a continuation
oriba has quit [Read error: Operation timed out]
tmaeda has quit [Ping timeout: 252 seconds]
Tobu has quit [Ping timeout: 276 seconds]
tmaeda has joined #ocaml
ttamttam has quit [Ping timeout: 264 seconds]
iago has quit [Quit: Leaving]
Amorphous has quit [Ping timeout: 265 seconds]
mjonsson has quit [Remote host closed the connection]
<
flux>
how often do people use covariance in ocaml?
<
flux>
(the latest post on batteries list suggests an immutable versino of arrays)
<
flux>
I suppose implementing it would require using unsafe features..
Amorphous has joined #ocaml
oriba_ is now known as oriba
<
oriba>
covariance? what's that?
bzzbzz has joined #ocaml
ikaros has joined #ocaml
<
flux>
it allows you to view subtypes as their parent type
<
flux>
I suppose it's most easily demonstrated with objects
<
flux>
let's say you have type 'a t
<
flux>
or actually, let's say you have covariant type + 'a t
<
flux>
then this is allowed: (a :> <bar : int>) == (b :> <bar : int; baz : int>)
<
flux>
but it is not allweod if type 'a t is not covariant (that is, the + is removed)
<
flux>
in c++ covariance works like that when you inherit a class, the method can return a subtype of what the parent class returns
<
flux>
(assuming it's a reference or pointer type)
<
oriba>
so "covariant" is not a lib or function, but a "property"?
<
oriba>
is there somewhere a pdf or so, or webpage, which explains this (and other properties) well?
<
flux>
also, a type cannot be both mutable and covariant
<
flux>
I don't know, possibly :)
<
oriba>
so I will listen here any maybe ask more
<
oriba>
you use that often?
<
flux>
well, I don't think I've ever used it in O'Caml
<
flux>
sometimes in c++
<
flux>
unfortunately it's easy to lose the capability in c++ if you have smart pointers
<
flux>
but it can be quite nice at times
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
nick_nsa has quit [Remote host closed the connection]
_unK has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
jpd has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Yoric_ has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric_ is now known as Yoric
boscop has joined #ocaml
yezariaely has joined #ocaml
yezariaely has left #ocaml []
Yoric_ has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric_ is now known as Yoric
ikaros has joined #ocaml
ygrek has joined #ocaml
thieusoai has joined #ocaml
Tobu has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
avsm has joined #ocaml
willb has quit [Ping timeout: 240 seconds]
jakedouglas has joined #ocaml
willb has joined #ocaml
<
oriba>
hey, I just saw, that Ocaml 3.12 is out and has first class modules.
<
oriba>
Hey, that's fine. :)
<
oriba>
someone here who already uses that feature?
<
oriba>
I think I will do soon.
<
adrien>
yeah, tried it
<
adrien>
works well
<
adrien>
the syntax has some quirks however
jonafan_ is now known as jonafan
<
oriba>
will this be fixed later or is it as it is?
<
adrien>
maybe in ocaml 4 :P
<
adrien>
the weirdest thing for me was that it requires quite a lot of parentheses
<
adrien>
and I think one of the examples in the doc needs more parentheses
* adrien
can't remember
<
oriba>
the doc will explain all that? I mean is it the doc fdrom the tarball? or hmhh should also be online in the manual...
<
oriba>
it's out since august
<
oriba>
had not realized it until shortly, and that module types are now first class....
<
oriba>
... no long discussions on the mail
<
oriba>
mailinglist
<
adrien>
the doc explains it, yeah
<
oriba>
there also is a link to a pdf
<
hcarty>
There is a development branch for OCaml which looks like it is attempting to simplify the first class module packing and unpacking syntax
<
hcarty>
That will hopefully reduce the syntax overhead
<
adrien>
oh, would be realy nice
<
adrien>
and Oleg is nuts ;-)
<
hcarty>
The talks from the 2010 Baltimore meeting(s) are certainly impressive
<
oriba>
are they available as videos?
<
oriba>
or what talks do you mean?
<
oriba>
ok that's what I just have opened
<
hcarty>
oriba: I'm not sure if there are videos available, but CUFP 2010 and co. hadescribed in one of the FAQs
<
sdschulze>
hcarty: OK -- I'm currently trying to understand unification...
<
sdschulze>
You know the TaPL book?
<
hcarty>
sdschulze: I do not, but I'm more of a "OCaml as a means to non-CS ends" user
<
sdschulze>
I saw it in the FAQ already, thanks.
Edward__ has quit []
Edward__ has joined #ocaml
wuj has joined #ocaml
DimitryKakadu has quit [Ping timeout: 240 seconds]
thieusoai has quit [Quit: Leaving]
avsm has joined #ocaml
thieusoai has joined #ocaml
thieusoai has quit [Client Quit]
avsm has quit [Ping timeout: 252 seconds]
avsm has joined #ocaml
avsm has quit [Client Quit]
Snark_ has quit [Quit: Ex-Chat]
_unK has quit [Remote host closed the connection]
lpereira has quit [Quit: Leaving.]
xcthulhu has joined #ocaml
gildor has quit [Ping timeout: 260 seconds]
bohanlon has quit [Read error: Connection reset by peer]
gildor has joined #ocaml
Edward__ has quit [Ping timeout: 240 seconds]
Edward__ has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
ikaros has joined #ocaml
Yoric has quit [Quit: Yoric]
valross has joined #ocaml
ikaros has quit [Ping timeout: 265 seconds]
eelte has quit [Quit: 0x2a]
avsm has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 240 seconds]
ikaros has joined #ocaml
ftrvxmtrx has joined #ocaml
bohanlon has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Edward__ has quit []
avsm has quit [Ping timeout: 240 seconds]