brettgilio has quit [Quit: Leaving...]
brettgilio has joined #ocaml
brettgilio has quit [Client Quit]
brettgilio has joined #ocaml
brettgilio has quit [Client Quit]
brettgilio has joined #ocaml
brettgilio has quit [Remote host closed the connection]
brettgilio has joined #ocaml
brettgilio has quit [Remote host closed the connection]
brettgilio has joined #ocaml
vicfred has joined #ocaml
vicfred has quit [Quit: Leaving]
shawnw has quit [Ping timeout: 268 seconds]
waleee has quit [Ping timeout: 268 seconds]
<
d_bot>
<darrenldl> i mean you probably need a ridiculous number of lines before list of gap buffer -> string becomes too slow
brettgilio has quit [Quit: Leaving...]
brettgilio has joined #ocaml
daachi has quit [Ping timeout: 260 seconds]
gravicappa has joined #ocaml
shawnw has joined #ocaml
adanwan has joined #ocaml
[itchyjunk] has quit [Read error: Connection reset by peer]
mbuf has joined #ocaml
average has quit [Quit: Connection closed for inactivity]
<
d_bot>
<EduardoRFS> Does anyone know if OCaml effects will be fast when the effect handler and the effect function can be inlined?
<
d_bot>
<EduardoRFS>
<
d_bot>
<EduardoRFS> Or there will be no optimisation at first to it?
Tuplanolla has joined #ocaml
Serpent7776 has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
hendursa1 has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has joined #ocaml
[itchyjunk] has joined #ocaml
olle has joined #ocaml
waleee has joined #ocaml
mbuf has quit [Read error: Connection reset by peer]
mbuf has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
<
d_bot>
<Bluddy> if and when they land, they're unlikely to be optimized at first
<
olle>
"They"? Aliens...? Hm.
Lycurgus has joined #ocaml
bartholin has quit [Ping timeout: 265 seconds]
<
companion_cube>
Ask zozozo if flambda will do stuff for local effects
<
companion_cube>
OCaml can decently optimize local exceptions I think
bartholin has joined #ocaml
Anarchos has joined #ocaml
<
Anarchos>
hwo to declare a variant inside a record : type mode = { order : [Prop | First_order] } ?
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<
d_bot>
<darrenldl> Anarchos: you'll need to polymorphic variants i think
<
d_bot>
<darrenldl> (prefix Prop and First_order in your line with backticks)
<
Anarchos>
d_bot ok
mro has joined #ocaml
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
yoctocell has joined #ocaml
rond_ has quit [Quit: Client closed]
bartholin has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
<
d_bot>
<froyo> Anarchos: or declare it as a separate type:
<
d_bot>
<froyo> `type mode = { order : order } and order = Prop | First_order`
zebrag has joined #ocaml
mro has quit [Remote host closed the connection]
[itchyjunk] has quit [Read error: Connection reset by peer]
bartholin has quit [Ping timeout: 265 seconds]
gravicappa has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 245 seconds]
<
zozozo>
companion_cube: so, at first, flambda won't do anything for effects afaik
salkin has joined #ocaml
CodeBitCookie[m] has joined #ocaml
<
CodeBitCookie[m]>
Hello Everyone
gravicappa has joined #ocaml
<
d_bot>
<EduardoRFS> Sad, was planning on doing a typer using effects for a couple parts, maybe I should just write a CPS transformation then
mbuf has quit [Quit: Leaving]
<
companion_cube>
I doubt the perf difference will matter
daachi has joined #ocaml
Everything has joined #ocaml
olle has quit [Ping timeout: 265 seconds]
oriba has joined #ocaml
<
oriba>
I'm looking for examples on the advantages of Menhir over ocamlyacc.
<
oriba>
"Menhir is able to produce parsers that are parameterized by OCaml modules."
<
oriba>
thats written on the menhir page
<
oriba>
Where can I find any examples on that? It sounds interesting.
gravicappa has quit [Ping timeout: 240 seconds]
bartholin has quit [Ping timeout: 252 seconds]
mro has joined #ocaml
bartholin has joined #ocaml
Lycurgus has quit [Quit: Exeunt]
shawnw has quit [Ping timeout: 252 seconds]
Everything has quit [Quit: leaving]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
Haudegen has joined #ocaml
Stumpfenstiel has joined #ocaml
[itchyjunk] has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
daachi has quit [Quit: leaving]
salkin has quit [Quit: salkin]
salkin has joined #ocaml
olle has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
bartholin has quit [Ping timeout: 252 seconds]
shawnw has joined #ocaml
bastienleonard has quit [Quit: WeeChat 3.2]
bartholin has joined #ocaml
olle has quit [Ping timeout: 268 seconds]
yoctocell has quit [Remote host closed the connection]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
bartholin has quit [Quit: Leaving]
Tuplanolla has quit [Quit: Leaving.]
bartholin has joined #ocaml
bartholin has quit [Quit: Leaving]
salkin has quit [Quit: salkin]
Stumpfenstiel has quit [Ping timeout: 268 seconds]
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
dh` has quit [Ping timeout: 240 seconds]
dh` has joined #ocaml