companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
Tuplanolla has quit [Quit: Leaving.]
favonia has quit [Ping timeout: 240 seconds]
favonia has joined #ocaml
favonia has quit [Ping timeout: 256 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
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
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Client Quit]
mbuf has quit [Quit: Leaving]
bacam has joined #ocaml
<d_bot> <thangngoc89> ah. thank you
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
bartholin has quit [Ping timeout: 268 seconds]
bartholin has joined #ocaml
jinsun_ has joined #ocaml
jinsun has quit [Ping timeout: 256 seconds]
jtck has quit [Remote host closed the connection]
jtck has joined #ocaml
jtck has quit [Remote host closed the connection]
oriba has joined #ocaml
vicfred has joined #ocaml
waleee has joined #ocaml
jinsun_ is now known as jinsun
shawn has quit [Ping timeout: 252 seconds]
jinsun has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
jinsun has joined #ocaml
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> https://ocaml.org/manual/lex.html says _ is an identifier but also says it's a keyword
<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
favonia has quit [Ping timeout: 256 seconds]
favonia has joined #ocaml
eight has joined #ocaml