kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
kleisli has joined #ocaml
mbuf has joined #ocaml
osa1 has joined #ocaml
chripell has joined #ocaml
vikfret has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
tane_ has joined #ocaml
Haudegen has joined #ocaml
kleisli_ has joined #ocaml
kleisli has quit [Ping timeout: 246 seconds]
kvik has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
copy has quit [Ping timeout: 264 seconds]
<Leonidas>
Option<A> even better
<def>
no.
<Leonidas>
obviously joking
<def>
:D
<vsiles>
Let's be explicit and write Option of A
<vsiles>
def: I wonder why Coq choose the right side when ocaml was using the left one...
<def>
vsiles: I think the syntax can be traced to edinburgh ML and reflect the fact that type are not higher-kinded, so it is not an application, just a type scheme instantiation
<def>
(there are no type-level application)
<vsiles>
makes sense
dckc has quit [Ping timeout: 246 seconds]
dckc has joined #ocaml
<flux1>
I too would like `option('a)` over `'a option` because it matches the function application. but I guess OCaml will never change that :). btw, ocaml revised syntax https://caml.inria.fr/pub/docs/manual-camlp4/manual007.html did it but it never caught on.
<flux1>
I didn't remember but it even fixed the way type parameters are applied, so `Hashtbl.t key value`
<flux1>
basically I would like all those changes except perhaps the `fun [c -> c]` which would break the flow for continuation passing style code
<flux1>
my god how it would be simpler to explain people the difference of global definition with `value` and the use of `let..in` in an expression ;)
<flux1>
actually I'm on the fence about `a; b` becoming `do {a ; b}`, I wonder if it would just make some code look like a do-spaghetti. but I guess you can always do `let () = .. in` trick instead..
copy has joined #ocaml
kleisli__ has joined #ocaml
kleisli_ has quit [Ping timeout: 260 seconds]
<Leonidas>
honestly I dislike most of the changes or am neutral on them
olle has joined #ocaml
<flux1>
note how that syntax also makes the top-level function definition similar to the signature definition if you use the `= fun a b c ->` syntax.. making copy-paste easier.
<flux1>
I don't particularly enjoy that begin/end (/) and (1, 2) and 1, 2 are just stylistic choices.
<flux1>
so putting `match` inside a `match` is always a little bit awkward _unless_ you also have an intermediate `let .. match .. in` there
<flux1>
sadly ReasonML is a failure because if uses `switch` instead of `match`
<flux1>
;-)
oturtle has quit [Ping timeout: 246 seconds]
vikfret has quit [Quit: Leaving]
drdee has joined #ocaml
mfp has joined #ocaml
oturtle has joined #ocaml
h112 has joined #ocaml
h11 has quit [Ping timeout: 264 seconds]
h112 is now known as h11
jbrown has quit [Ping timeout: 272 seconds]
nullcone has quit [Quit: Connection closed for inactivity]
inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Haudegen has quit [Quit: Bin weg.]
[mark] has joined #ocaml
[mark] has quit [Changing host]
emias has quit [Ping timeout: 240 seconds]
waleee-cl has joined #ocaml
emias has joined #ocaml
malc_ has joined #ocaml
Haudegen has joined #ocaml
muskan has joined #ocaml
dckc has quit [Ping timeout: 240 seconds]
dckc has joined #ocaml
[mark] has quit [Quit: Leaving]
malc_ has quit [Ping timeout: 258 seconds]
jbrown has joined #ocaml
remexre has joined #ocaml
vikfret has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
olle has quit [Ping timeout: 265 seconds]
chripell has quit [Ping timeout: 240 seconds]
malc_ has joined #ocaml
peterbb has joined #ocaml
Haudegen has joined #ocaml
vikfret has quit [Quit: Leaving]
waleee-cl has quit [Quit: Connection closed for inactivity]
dborisog has quit [Ping timeout: 240 seconds]
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
osa1 has quit [Client Quit]
osa1 has joined #ocaml
nullcone has joined #ocaml
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
muskan has quit [Remote host closed the connection]
vikfret has joined #ocaml
muskan has joined #ocaml
kleisli__ has quit [Ping timeout: 265 seconds]
waleee-cl has joined #ocaml
muskan has quit [Remote host closed the connection]
muskan has joined #ocaml
osa1 has quit [Ping timeout: 265 seconds]
mengu has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
Hrundi_V_Bakshi has quit [Remote host closed the connection]
narimiran has quit [Ping timeout: 265 seconds]
drdee has quit [Remote host closed the connection]
Anarchos has joined #ocaml
mbuf has quit [Quit: Leaving]
Serpent7776 has quit [Quit: leaving]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
mengu has quit []
muskan has quit [Remote host closed the connection]
tane_ has quit [Quit: Leaving]
Jesin has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 240 seconds]
kleisli__ has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]