Stumpfenstiel has quit [Remote host closed the connection]
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 258 seconds]
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
gravicappa has joined #ocaml
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
gravicappa has quit [Ping timeout: 268 seconds]
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
<d_bot>
<Ulugbek> I would like to learn more about the continuation monad and its application to a concurrency and/or coroutine monad, preferably in OCaml (I'm not sure whether there is a single thing such as concurrency or coroutine monad)
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
favonia has quit [Remote host closed the connection]
jtck has joined #ocaml
gareppa has joined #ocaml
Tuplanolla has joined #ocaml
gareppa has quit [Quit: Leaving]
mbuf has joined #ocaml
Serpent7776 has joined #ocaml
bartholin has joined #ocaml
Anarchos has joined #ocaml
Haudegen has joined #ocaml
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
mro has joined #ocaml
bartholin has quit [Ping timeout: 265 seconds]
mro has quit [Client Quit]
bartholin has joined #ocaml
sagax has joined #ocaml
yoctocell has joined #ocaml
Putonlalla has quit [Quit: Leaving.]
Anarchos has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
<d_bot>
<Cyclomatic Complexity> hey
<d_bot>
<Cyclomatic Complexity> is there any equivalent to https://github.com/ocaml-ppx/ppx_view that works with ocaml latest? or an easy way to update it?
bartholin has quit [Ping timeout: 252 seconds]
mbuf has quit [Quit: Leaving]
bartholin has joined #ocaml
Anarchos has joined #ocaml
favonia has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
zebrag has joined #ocaml
ccx has quit [Ping timeout: 250 seconds]
cedric has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
mro has joined #ocaml
bacam has quit [Quit: reboot]
mro has quit [Remote host closed the connection]
<Absalom>
When typing #load "Zarith/zarith.cma" in utop, I get "File Zarith/zarith.cma is not a bytecode object file.". If I compile with ocamlfind ocamlopt, everything is fine however. What should I type for playing with Zarith in utop?
adanwan has quit [Ping timeout: 244 seconds]
mro has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
<d_bot>
<NULL> I can't even find `Zarith/zarith.cma` from within utop despite having the package installed. I can instead `#require` it, and this command seems better for installed packages
adanwan has joined #ocaml
<d_bot>
<thangngoc89> Bytecode ends with cmo
mro has quit [Ping timeout: 272 seconds]
<Absalom>
Thanks
mbuf has joined #ocaml
<d_bot>
<NULL> Also, packages whose names end in `.top` in utop are the versions designed for toplevels (like utop). I think they declare more printers, or make them more easily picked up by the toplevel
mro has joined #ocaml
<d_bot>
<NULL> In zarith's case, it allows utop to print a numeric value for the integers : you get `0` instead of `<abstr>`
bartholin has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
<d_bot>
<EduardoRFS> a cma is a bunch of cmo, so I would expect it to work
jinsun has quit [Read error: Connection reset by peer]
jinsun has joined #ocaml
jinsun has quit [Client Quit]
jinsun has joined #ocaml
gravicappa has joined #ocaml
bartholin has quit [Ping timeout: 258 seconds]
favonia has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 258 seconds]
energizer has joined #ocaml
<energizer>
"let c = {name = "puce"};; Error: Some record fields are undefined: websafe r g b" how does it know that c is intended to be a color? Is it just because it uses the name field, and there is a type with a name field in scope? https://ocaml.org/learn/tutorials/data_types_and_matching.html
<companion_cube>
yep, names are generally unique to records, so it's enough for inference
<companion_cube>
if it's not clear what type you mean it'll require more information
<energizer>
cool
shawn has joined #ocaml
<dh`>
it is in fact often a pain in the neck, when you have multiple record types with the same field names, but it's convenient for simple cases
favonia has joined #ocaml
<energizer>
match 30 with | x -> 1 | y -> 2;; warns that the y case is unused. are both x and y equivalent to _ ?
<energizer>
or maybe _ is just a regular name exactly like x and y
<energizer>
so what's the difference between `| x -> 4` and `| _ -> 4`. is it just that I can use x in the right-hand side, or is there something else?
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
<d_bot>
<NULL> It's the same semantically at least. I don't know whether `_` allows optimisations that `x` doesn't
<companion_cube>
nothing
<companion_cube>
it's just more explicit to use `_` if you don't use the value
<companion_cube>
(there's a warning for that)
<dh`>
and in general you should turn that warning on, it saves a lot of trouble
<companion_cube>
warnings are good
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
<energizer>
is it binding `red` as a new wildcard variable? https://bpa.st/ED5A
<companion_cube>
yes
<companion_cube>
you should get warnings about unreachable branches
<energizer>
yeah I do
<companion_cube>
here you may want `| x when x = red -> …` in the first case
<d_bot>
<NULL> Is `…` an encoding error on the bridge ?
<energizer>
got it
favonia has quit [Ping timeout: 256 seconds]
<companion_cube>
NULL: seems so, it's weird
favonia has joined #ocaml
<d_bot>
<NULL> Without access to IRC, I must wonder what the original character was
bartholin has joined #ocaml
<companion_cube>
…
<d_bot>
<NULL> Same sequence of characters : …
<d_bot>
<octachron> … (irc) ⇒ … (discord)
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
<reynir>
How does λ render on discord
<reynir>
is it the code quotes? `λ`
<reynir>
Ah interesting
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
wingsorc has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
bartholin has quit [Ping timeout: 252 seconds]
favonia has joined #ocaml
CcxCZ has joined #ocaml
CcxCZ has quit [Quit: WeeChat 2.4]
ccx has joined #ocaml
ccx has quit [Client Quit]
ccx has joined #ocaml
ccx has quit [Quit: WeeChat 2.4]
ccx has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
yoctocell has quit [Ping timeout: 258 seconds]
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
eight has quit [Remote host closed the connection]
Tuplanolla has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 265 seconds]
cedric has quit [Quit: Konversation terminated!]
<d_bot>
<Chiyoku> I saw that ocaml translates code to clambda and flambda if you enable flambda... but how it translates impure function calls to a lambda calculus notation?
<d_bot>
<Chiyoku> Clambda is just kind of lambda calculus with extensions right?
<Armael>
lambda is not the lambda calculus
<d_bot>
<Chiyoku> Oh right..
* dh`
makes a probably tired joke about flambda being the fortran version