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/
namkeleser has quit [Quit: Client closed]
bgs has quit [Ping timeout: 265 seconds]
bgs has joined #ocaml
infinity0 has quit [Ping timeout: 250 seconds]
infinity0 has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
b0o has quit [Quit: WeeChat 3.3]
motherfsck has quit [Ping timeout: 256 seconds]
motherfsck has joined #ocaml
rgrinberg has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
xd1le has joined #ocaml
Fardale has quit [Ping timeout: 260 seconds]
Fardale has joined #ocaml
rks` has quit [Ping timeout: 246 seconds]
rks` has joined #ocaml
pippijn has quit [Ping timeout: 246 seconds]
pippijn has joined #ocaml
rgrinberg has joined #ocaml
shawnw has joined #ocaml
mbuf has joined #ocaml
kurfen has quit [Ping timeout: 256 seconds]
zebrag has quit [Quit: Konversation terminated!]
mbuf has quit [Quit: Leaving]
Haudegen has joined #ocaml
zebrag has joined #ocaml
zebrag has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 264 seconds]
infinity0 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
namkeleser has joined #ocaml
mro has joined #ocaml
waleee has joined #ocaml
waleee has quit [Quit: WeeChat 3.3]
waleee has joined #ocaml
hackinghorn has joined #ocaml
<hackinghorn> hi, what does let%bind data = [..] mean?
<sim642> I think it's ocaml-monadic syntax
<sim642> Or that, but the idea is the same
<hackinghorn> ah thanks
<hackinghorn> ah very confusing
<hackinghorn> I need to know what is monad first
<sim642> If the right side of that let%bind is a list, then this will just correspond to a concat_map
<ns12> hackinghorn: Have a look at this section on monads: https://cs3110.github.io/textbook/chapters/ds/monads.html
<hackinghorn> so let%bind is concat_map, I suppose
shawnw has quit [Ping timeout: 264 seconds]
ns129 has joined #ocaml
mro has quit [Remote host closed the connection]
drewolson3 has joined #ocaml
ns12 has quit [Ping timeout: 250 seconds]
drewolson has quit [Ping timeout: 250 seconds]
ns129 is now known as ns12
drewolson3 is now known as drewolson
olle has joined #ocaml
mro has joined #ocaml
olle has quit [Ping timeout: 264 seconds]
olle has joined #ocaml
<d_bot> <Drup> @cemerick maybe not exhaustive, but it seems totally doable by fuzing/genetic programming
namkeleser has quit [Quit: Client closed]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 264 seconds]
bartholin has joined #ocaml
xd1le has quit [Quit: xd1le]
namkeleser has joined #ocaml
jlrnick has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
<d_bot> <cemerick> yeah, GP might well be the best approach given the "chunky" nature of the input space
<d_bot> <Drup> it sounds like a very funny stupid project :3
jlrnick has quit [Ping timeout: 260 seconds]
jlrnick has joined #ocaml
mro has quit [Remote host closed the connection]
<Leonidas> Ehh, Opam's internal Map signature extends the OCaml map but in a worse way :-/
<d_bot> <VPhantom> Rookie question: should I be referring to results as a 'result', a 'Result.t' or a 'Result.result'? I've seen all three and it's not obvious from the documentation of Result itself. 😕
<d_bot> <VPhantom> I did notice that if I use 'result', odoc resolves that to 'Stdlib.result' in my documentation which isn't particularly clean looking.
<d_bot> <VPhantom> …but then 'Result.t' becomes 'Stdlib.Result.t' so I guess that's not a factor.
<d_bot> <Drup> those are all aliases of each other
<d_bot> <NULL> (I don't think `Result.result` actually exists)
<d_bot> <VPhantom> Oh you're right, it's in the documentation but it's not in my local Result. Interesting.
<d_bot> <NULL> `result` (or `Stdlib.result`) is to `Result.t` what `list` is to `List.t`
<d_bot> <VPhantom> I was mostly attempting to make my signatures the easiest to read possible, but I guess with odoc's expanding into 'Stdlib.*' it doesn't matter as much. (Even though on 1 out of 5 invocations it complains about not finding Stdlib, strangely enough.)
mro has joined #ocaml
<d_bot> <cemerick> Am I crazy, or is there really no way in ounit to create a fixture (bracket in ounit's parlance) servicing multiple tests?
mro has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
mro has joined #ocaml
namkeleser has quit [Quit: Client closed]
mro has quit [Remote host closed the connection]
<d_bot> <cemerick> no, I'm not crazy; seems the official advice is "you shouldn't want a fixture supporting multiple tests" 🤔 https://github.com/gildor478/ounit/issues/36
hyphen has quit [Ping timeout: 250 seconds]
gravicappa has quit [Ping timeout: 268 seconds]
hyphen has joined #ocaml
Haudegen has joined #ocaml
waleee has quit [Ping timeout: 268 seconds]
hackinghorn has quit [Quit: gonna sleep]
rgrinberg has joined #ocaml
ej has quit [Ping timeout: 268 seconds]
jlrnick has quit [Ping timeout: 245 seconds]
waleee has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
gravicappa has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
JSharp has quit [Ping timeout: 245 seconds]
omni_ has joined #ocaml
ralu6 has joined #ocaml
ns124 has joined #ocaml
bobo_ has joined #ocaml
rks`_ has joined #ocaml
hyphen_ has joined #ocaml
bacam_ has joined #ocaml
olle_ has joined #ocaml
waleee has quit [Ping timeout: 250 seconds]
olle has quit [*.net *.split]
gravicappa has quit [*.net *.split]
hyphen has quit [*.net *.split]
spip has quit [*.net *.split]
bartholin has quit [*.net *.split]
ns12 has quit [*.net *.split]
Fardale has quit [*.net *.split]
rks` has quit [*.net *.split]
motherfsck has quit [*.net *.split]
bgs has quit [*.net *.split]
grobe0ba has quit [*.net *.split]
cbarrett has quit [*.net *.split]
lagash has quit [*.net *.split]
ralu has quit [*.net *.split]
Boarders_ has quit [*.net *.split]
bacam has quit [*.net *.split]
omni has quit [*.net *.split]
ns124 is now known as ns12
ralu6 is now known as ralu
bgs has joined #ocaml
waleee has joined #ocaml
Boarders_ has joined #ocaml
grobe0ba has joined #ocaml
Fardale has joined #ocaml
lagash has joined #ocaml
cbarrett has joined #ocaml
JSharp has joined #ocaml
lagash has quit [Max SendQ exceeded]
lagash has joined #ocaml
bartholin has joined #ocaml
motherfsck has joined #ocaml
waleee has quit [Ping timeout: 250 seconds]
gravicappa has joined #ocaml
olle_ has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
Colt has joined #ocaml
mro has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
bacam_ is now known as bacam
bartholin has quit [Quit: Leaving]
waleee has joined #ocaml
olle has joined #ocaml
Colt has quit [Quit: Leaving]
Colt has joined #ocaml
Colt has quit [Remote host closed the connection]
Colt has joined #ocaml
Colt has quit [Remote host closed the connection]
Colt1 has joined #ocaml
Colt1 has quit [Remote host closed the connection]
Colt has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
waleee has joined #ocaml
rgrinberg has joined #ocaml
mro has joined #ocaml
gravicappa has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
<d_bot> <VPhantom> Terminology question: when using monadic let bindings or old-school binding operators, is the inside function called a "continuation" in OCaml usually?
mro has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
omni_ is now known as omni
namkeleser has joined #ocaml
Serpent7776 has quit [Quit: leaving]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 260 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Quit: Leaving...]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
olle has quit [Ping timeout: 256 seconds]
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]