|marius| has quit [Remote host closed the connection]
Associat0r has quit [Quit: Associat0r]
aj2009 has quit [Quit: Leaving]
philtor has quit [Ping timeout: 265 seconds]
joewilliams is now known as joewilliams_away
jakedouglas has quit [Quit: Leaving.]
Associat0r has joined #ocaml
bzzbzz has quit [Quit: leaving]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 248 seconds]
mjonsson has quit [Ping timeout: 276 seconds]
_unK has quit [Remote host closed the connection]
valross has quit [Remote host closed the connection]
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
valross has joined #ocaml
hto has quit [Quit: leaving]
jeddhaberstro has quit [Quit: jeddhaberstro]
<flux>
erickt_, (echo 'let rec loop n = if n > 0 then loop (n - 1) else ()'; echo 'let _ = loop 1000000000') > foo.ml; ocamlopt -p foo.ml; ./a.out; gprof a.out
boscop has joined #ocaml
ttamttam has joined #ocaml
Amorphous has quit [Ping timeout: 248 seconds]
Amorphous has joined #ocaml
_unK has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
valross has quit [Remote host closed the connection]
valross has joined #ocaml
kaustuv_ has quit [Ping timeout: 245 seconds]
Sgeo_ has joined #ocaml
Sgeo has quit [Ping timeout: 240 seconds]
ikaros has joined #ocaml
ttamttam has quit [Ping timeout: 240 seconds]
jjd27 has quit [Ping timeout: 240 seconds]
jjd27 has joined #ocaml
bitbckt has quit [Ping timeout: 248 seconds]
bitbckt has joined #ocaml
ikaros has quit [Ping timeout: 240 seconds]
ftrvxmtrx has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 265 seconds]
ftrvxmtrx has quit [Quit: Leaving]
xmarteo has joined #ocaml
pikachuyann has joined #ocaml
ftrvxmtrx has joined #ocaml
asmanur_ has joined #ocaml
Sgeo_ has quit [Ping timeout: 265 seconds]
asmanur has quit [Ping timeout: 276 seconds]
<boscop>
is the 'polymorphic' in 'polymorphic variants' parametric polymorphism, i.e. does it refer to 'generic variants', i.e. variants that store values of types that are only known at instantiation?
<f[x]>
boscop, no
<f[x]>
in that sense all variants are polymorphic
<boscop>
I've been looking for info about polymorphic variants already, but they all mix the topic with type inference, in the context of ocaml
<f[x]>
polymorphic variants imho is a bad/deprecated name, better call them "open variants" - less confusion and more sense
<boscop>
f[x], so, you can add 'possible types' after definition?
<f[x]>
what definition?
<f[x]>
open variants do not need definition
<f[x]>
open variants let you specify the type which is either open or closed
dnovikov has joined #ocaml
<f[x]>
values of the open types can have more "possible types" then needed at the point of use
<f[x]>
examples in the manual are quite good at explanation
_unK has quit [Remote host closed the connection]
Vassia has joined #ocaml
xmarteo has quit [*.net *.split]
jjd27 has quit [*.net *.split]
iratsu has quit [*.net *.split]
erickt_ has quit [*.net *.split]
Vassia has quit [Ping timeout: 240 seconds]
iratsu has joined #ocaml
xmarteo has joined #ocaml
erickt has joined #ocaml
waltz has joined #ocaml
dnovikov has quit [Quit: Page closed]
jjd27 has joined #ocaml
adrien has quit [Ping timeout: 240 seconds]
adrien has joined #ocaml
th5 has quit [Remote host closed the connection]
boscop has quit [Read error: Connection timed out]
Modius has quit [Ping timeout: 276 seconds]
hto has joined #ocaml
hto has quit [Client Quit]
hto has joined #ocaml
hto_ has joined #ocaml
hto has quit [Quit: leaving]
hto_ has quit [Client Quit]
hto has joined #ocaml
Vassia has joined #ocaml
Vassia has quit [Read error: Operation timed out]
_unK has joined #ocaml
valross has quit [Quit: Ex-Chat]
mjonsson has joined #ocaml
jakedouglas has joined #ocaml
boscop has joined #ocaml
joewilliams_away is now known as joewilliams
iago has joined #ocaml
Associat0r has quit [Quit: Associat0r]
|marius| has joined #ocaml
ikaros has joined #ocaml
|marius| has quit [Remote host closed the connection]
Vassia has joined #ocaml
Vassia has quit [Ping timeout: 246 seconds]
hto_ has joined #ocaml
hto_ has quit [Client Quit]
hto has quit [Quit: Lost terminal]
hto has joined #ocaml
waltz has quit [Quit: Leaving.]
jonafan has joined #ocaml
philtor has joined #ocaml
hto has quit [Quit: leaving]
hto has joined #ocaml
patronus has quit [Read error: Operation timed out]
adrien has quit [Ping timeout: 248 seconds]
adrien has joined #ocaml
Modius has joined #ocaml
patronus has joined #ocaml
Modius has quit [Max SendQ exceeded]
Modius has joined #ocaml
|marius| has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
<erickt>
thanks flux. after a lot of digging, I found that gprof, ocaml, and osx don't work well together
|marius|_ has joined #ocaml
|marius| has quit [Read error: Connection reset by peer]
Vassia has joined #ocaml
ftrvxmtrx has joined #ocaml
Vassia has quit [Ping timeout: 260 seconds]
hto has quit [Quit: Lost terminal]
hto has joined #ocaml
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
iago has quit [Quit: Leaving]
sepp2k has joined #ocaml
<mattam>
erickt: but shark works well with ocamlopt-generated binaries.
ygrek has joined #ocaml
drksd has quit [Quit: {'EXIT', drksd, "bye"}]
tohava has joined #ocaml
philtor has quit [Ping timeout: 260 seconds]
Smerdyakov has joined #ocaml
jakedouglas has quit [Quit: Leaving.]
Vassia has joined #ocaml
Vassia has quit [Read error: Operation timed out]
ikaros_ has joined #ocaml
<erickt>
mattam: that's what I ended up using :) I didn't get that useful results out of it though, even with "-g" debug symbols turned on.
jakedouglas has joined #ocaml
jakedouglas has quit [Client Quit]
jakedouglas has joined #ocaml
itewsh has joined #ocaml
ikaros_ has quit [Quit: Leave the magic to Houdini]
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
maskd has quit [Quit: Lost terminal]
tohava has quit [Quit: 9) nanoseconds]
jonafan has quit [Ping timeout: 265 seconds]
jonafan has joined #ocaml
<pikachuyann>
Have a good night ! / Passez une bonne nuit !