Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
rgrinberg has joined #ocaml
bobo_ has quit [Ping timeout: 256 seconds]
spip has joined #ocaml
wyrd has quit [Quit: Lost terminal]
wyrd has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
mro has quit [Quit: Leaving...]
<d_bot> <EduardoRFS> Some day I will finally fix and clean this patch, and start a bikeshedding discussion on an OCaml PR, so that no one will ever need to write `let rec x: type a.` anymore.
<d_bot> <EduardoRFS>
<d_bot> <EduardoRFS> it really feels like an implementation limitation
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hackinghorn has quit [Quit: Leaving]
kaph has quit [Ping timeout: 256 seconds]
kaph has joined #ocaml
wyrd_ has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
wyrd_ has quit [Client Quit]
wyrd has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
hackinghorn has joined #ocaml
hackinghorn has quit [Changing host]
hackinghorn has joined #ocaml
<hackinghorn> hi, is this correct that we should list labeled arguments first?
<williewillus> the usual convention is to have them first iirc
<williewillus> but the language doesn't require it i think
rgrinberg has quit [Ping timeout: 256 seconds]
mbuf has joined #ocaml
hackhorn has joined #ocaml
hackinghorn has quit [Ping timeout: 240 seconds]
gravicappa has joined #ocaml
hackhorn is now known as hackinghorn
hackinghorn has quit [Changing host]
hackinghorn has joined #ocaml
rgrinberg has joined #ocaml
vb has quit [Ping timeout: 268 seconds]
vb has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
<hackinghorn> thanks
jlrnick has joined #ocaml
hackhorn has joined #ocaml
hackinghorn has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
kaph_ has joined #ocaml
kaph has quit [Ping timeout: 256 seconds]
hornhack has joined #ocaml
hackhorn has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Read error: Connection reset by peer]
shawnw has joined #ocaml
hornhack is now known as hackinghorn
hackinghorn has quit [Changing host]
hackinghorn has joined #ocaml
<hackinghorn> do nested folds give you headaches? I can barely handle one fold
rgrinberg has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot> <darrenldl> you'll get used to it
<d_bot> <darrenldl> though ill say if the accumulator becomes complex then maybe time to unroll it into a separate function for readability
<d_bot> <darrenldl> becomes very complex*
mro has quit [Remote host closed the connection]
Tuplanolla has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
<hackinghorn> ahh thankss
olle has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
Everything has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
olle has quit [Ping timeout: 240 seconds]
hackinghorn has quit [Quit: Leaving]
mro has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
mro has joined #ocaml
Haudegen has joined #ocaml
<d_bot> <Et7f3> I think 2 levels is acceptable maybe 3. Matrix multiplication need at least 3 loops in C.
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
mro_ has quit [Remote host closed the connection]
olle has joined #ocaml
bobo_ has joined #ocaml
bartholin has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
spip has quit [Ping timeout: 256 seconds]
dalek-caan has joined #ocaml
hackinghorn has joined #ocaml
Everything has quit [Quit: leaving]
waleee has joined #ocaml
shawnw has quit [Ping timeout: 256 seconds]
gravicappa has quit [Ping timeout: 256 seconds]
noddy has quit [Quit: WeeChat 3.4]
noddy has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
wyrd has quit [Quit: leaving]
gravicappa has joined #ocaml
wyrd has joined #ocaml
vb has quit [Ping timeout: 256 seconds]
Serpent7776 has joined #ocaml
zebrag has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
<d_bot> <Alistair> Yeah, you're correct. Since the `... : type a. ...` is just syntactic sugar introduced for GADTs. I honestly don't mind it though, personally I think it's fairly nice syntax, although the whole `'a. ...` vs `type a. ...` can be confusing
wyrd has joined #ocaml
mbuf has quit [Quit: Leaving]
waleee has quit [Ping timeout: 268 seconds]
waleee has joined #ocaml
Haudegen has joined #ocaml
olle has quit [Ping timeout: 256 seconds]
jlrnick has quit [Ping timeout: 240 seconds]
waleee has quit [Ping timeout: 268 seconds]
waleee has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
olle has joined #ocaml
vijon has joined #ocaml
vijon has quit [Client Quit]
rgrinberg has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
dalek-caan has quit [Quit: dalek-caan]
motherfsck has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
aru_ is now known as aru
rgrinberg has joined #ocaml
motherfsck has joined #ocaml
Serpent7776 has quit [Quit: leaving]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
wyrd has quit [Quit: leaving]
bartholin has quit [Quit: Leaving]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]