<companion_cube>
useful for progress bars and the likes
<mrvn>
carefull, Microsoft has patents on them :)
<companion_cube>
:D
<companion_cube>
I don't indicate ETA by sampling /dev/random
<companion_cube>
so it's fine
<Drup>
companion_cube: %! also work with format
<companion_cube>
really??
<Drup>
hum, actually, it's not exactly the same thing
<Drup>
" @?: flush the pretty printer as with print_flush (). This is equivalent to the conversion %!."
<Drup>
but it's represented slightly differently in the format type, weird
<Drup>
Ah, so that printf doesn't recognize @?, right
<companion_cube>
I think @? also closes the boxes
<Drup>
%! too
<companion_cube>
oh!
<Drup>
it's equivalent, really
maarhart_ has joined #ocaml
copy` has joined #ocaml
maarhart_ has quit [Ping timeout: 255 seconds]
<rixed_>
companion_cube: yes I do know objects move in memory. That's fine, as long as the GC updates all the ref atomically :)
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
fraggle_ has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
fraggle_ has joined #ocaml
peddie has left #ocaml ["WeeChat 1.7"]
eh_eff has joined #ocaml
richi235 has joined #ocaml
pzp has quit [Quit: Connection closed for inactivity]
S11001001 has joined #ocaml
littleli has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
ryanartecona has quit [Quit: ryanartecona]
AltGr has left #ocaml [#ocaml]
nullcatxxx_ has joined #ocaml
jack5638 has quit [Ping timeout: 276 seconds]
jack5638 has joined #ocaml
micro_ has joined #ocaml
micro_ is now known as Guest51477
Guest51477 is now known as `micro
ryanartecona has joined #ocaml
srcerer_ is now known as srcerer
ryanartecona has quit [Quit: ryanartecona]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
alqatari has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Leonidas>
why can't optional params at the end of a function not be discarded? From the labeled lambda paper the rule seems to be easy.
<Leonidas>
"discard any ? params from the head of a type"
ryanartecona has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
<Drup>
what do you mean ?
<flux>
leonidas, well, how then would you pass the function as a parameter then?
<mrvn>
Leonidas: how should ocaml know wether you want to discard it or curry it?
<flux>
s/ then//2
<Leonidas>
flux: it needs at least one parameter to be applied, so whenever it is passed as an argument it wouldn't need to fill up the ? params with None but pass as-is
<Leonidas>
mrvn: it would always discard them on application when they are at the front.
<mrvn>
Leonidas: let x = [f; g; h]; Should it discard them or not?
<Leonidas>
that works in ocaml but only if you flip the order of n and ?base and since the paper is written by the same people who implemented it
<Leonidas>
mrvn: no, since none of these functions are being applied
<Leonidas>
mrvn: in let x = [f y; g y; h y] then yes
<flux>
hmm, let x = [f ~zoops:not_default_value; g; h] would then apply f fully?
<Drup>
Leonidas: I think it uses the opposite criteria than OCaml's, that's all
<Leonidas>
flux: according to the paper, it would apply f till the first non-labeled argument, so any ?args would be None.
<mrvn>
Leonidas: what if I don't want them discarded? What if I want a (?int -> float) list?
zaquest has quit [Quit: Leaving]
<Leonidas>
mrvn: that's just not possible then, so you'd need a unit argument at the front, just as you need one now at the back.
<Leonidas>
(or any other non-optional argument of course)
<Leonidas>
I'm just wondering why they chose to do it this way, since it seems a bit inelegant
<mrvn>
Leonidas: you would also need one at the back to apply something to it
<mrvn>
or at least have one somethere in there
<mrvn>
Leonidas: An arg at the end lets you arange the optional / labeles args any way you want while your way would require non optional args before optional args.
<Leonidas>
yeah, the downside of having it in the front would be weird behaviour, as in unit -> ?int -> float being aplied a () would result in float directly
zaquest has joined #ocaml
yomimono has joined #ocaml
<mrvn>
Leonidas: what about unit -> ?int -> 'a? Where 'a can be (?int -> unit). Does that give 'a or unit?
<mrvn>
polymorphic functions wouldn't know how many args to apply.
<mrvn>
actually in your way there never could ba a (?int -> unit)
<mrvn>
In ocamls way that only gives a warning
<mrvn>
never mind, your way could have that too.
<mrvn>
anyway. I would find it odd that " unit -> ?int -> ..." would require the int arg to be applied before the unit.
TheLemonMan has joined #ocaml
ojmb has quit [Ping timeout: 260 seconds]
sh0t has quit [Ping timeout: 260 seconds]
strykerkkd has joined #ocaml
sh0t has joined #ocaml
alqatari has joined #ocaml
larhat has joined #ocaml
zpe has joined #ocaml
slash^ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
sh0t has quit [Ping timeout: 240 seconds]
larhat has quit [Quit: Leaving.]
Simn has quit [Ping timeout: 260 seconds]
nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Madars has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
eh_eff has quit [Ping timeout: 240 seconds]
moei has quit [Quit: Leaving...]
larhat has joined #ocaml
jabroney1 has joined #ocaml
jabroney has quit [Ping timeout: 255 seconds]
Simn has joined #ocaml
eh_eff has joined #ocaml
nullcatxxx_ has joined #ocaml
eh_eff has quit [Ping timeout: 276 seconds]
slash^ has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
zpe has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ryanartecona has joined #ocaml
bronsen has quit [Remote host closed the connection]
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Ping timeout: 255 seconds]
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
larhat has quit [Client Quit]
jnavila has quit [Remote host closed the connection]
eh_eff has joined #ocaml
sh0t has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
nullcatxxx_ has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
sepp2k has quit [Quit: Leaving.]
strykerkkd has quit [Quit: Leaving]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
_andre has quit [Quit: leaving]
tane has quit [Quit: Leaving]
spew has quit [Ping timeout: 276 seconds]
nullcatxxx_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ojmb has joined #ocaml
sillyotter has joined #ocaml
nullcatxxx_ has joined #ocaml
mengu has quit [Remote host closed the connection]
nullcatxxx_ has quit [Client Quit]
zpe has joined #ocaml
sillyotter has quit [Quit: WeeChat 1.4]
moei has joined #ocaml
zaquest has quit [Quit: Leaving]
zaquest has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
richi235 has quit [Remote host closed the connection]
jimt has quit [Ping timeout: 258 seconds]
spew has joined #ocaml
cdidd has quit [Quit: Leaving]
sh0t has quit [Remote host closed the connection]
mengu has joined #ocaml
Simn has quit [Quit: Leaving]
nullcatxxx_ has joined #ocaml
mengu has quit [Ping timeout: 264 seconds]
moei has quit [Quit: Leaving...]
moei has joined #ocaml
ryanartecona has joined #ocaml
<orbifx[m]>
I can't use module name Path?
richi235 has joined #ocaml
<orbifx[m]>
Error: Files src/path.cmx
<orbifx[m]>
and ~/.opam/4.03.0/lib/ocaml/compiler-libs/ocamlcommon.cmxa
<orbifx[m]>
both define a module named Path
<orbifx[m]>
?
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 is now known as Guest61055
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]