gareppa has quit [Remote host closed the connection]
dborisog has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
bartholin has quit [Quit: Leaving]
mxns_ has quit [Ping timeout: 244 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
<d_bot>
<EduardoRFS> did someone here played with modular implicits? I want to implement Show for any type , so that you can use the same function with `int option` and `int`. But I cannot figure out the way to make that
<d_bot>
<EduardoRFS> higher kinded stuff
mxns has joined #ocaml
<d_bot>
<EduardoRFS> never mind, I read the paper and there is an example for `'a list` mb
gareppa has joined #ocaml
borne has quit [Ping timeout: 240 seconds]
gareppa has quit [Remote host closed the connection]
ggole has quit [Quit: Leaving]
jnavila has joined #ocaml
l1x has joined #ocaml
amiloradovsky has quit [Read error: Connection reset by peer]
amiloradovsky1 has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
amiloradovsky1 is now known as amiloradovsky
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
zebrag has quit [Read error: Connection reset by peer]
zebrag has joined #ocaml
testetest has joined #ocaml
<testetest>
hi, I was wondering what the function application order was
<testetest>
If I have a function call (f x y z)
<testetest>
Is f evaluated followed by x, y, and then z
<testetest>
for example, if I have (raise B ) (raise A)
<testetest>
where
<testetest>
exception A;; exception B;;
<testetest>
are defined like that
<testetest>
I'll get exception A;;
<testetest>
if I have a function let f a b = b
<testetest>
and I call it like f (raise A) (raise B )
<testetest>
then I'll get exception B
<octachron>
The arguments are evaluated before the function call.
<testetest>
Are they evaluated before the function is evaluated?
<testetest>
I know they'll be evaluated before the function is called
<testetest>
And is there an order to this evaluation
narimiran has quit [Ping timeout: 256 seconds]
<octachron>
f (raise A) will raise A for any f.
<octachron>
aka OCaml is call-by-value.
<octachron>
And it is better to not rely on the evaluation order between arguments.
<testetest>
ok thanks
testetest has quit [Quit: Connection closed]
Serpent7776 has quit [Quit: leaving]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
borne has joined #ocaml
amiloradovsky has joined #ocaml
ArthurStrong has quit [Quit: leaving]
neiluj has quit [Quit: leaving]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
l1x has quit [Quit: Connection closed for inactivity]
TheLemonMan has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
olle_ has quit [Ping timeout: 256 seconds]
jlr has quit [Ping timeout: 260 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
tane has quit [Quit: Leaving]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
borne has quit [Remote host closed the connection]