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/
Haudegen has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
vicfred has quit [Quit: Leaving]
SdeSousa has joined #ocaml
<SdeSousa> entao bros tudo bem?
SdeSousa has quit [Client Quit]
hackinghorn has joined #ocaml
<hackinghorn> hi, what is let%bind in ocaml, they use monads or something
<d_bot> <NULL> The name heavily suggests so
rgrinberg has joined #ocaml
<hackinghorn> oh, its ppx_let from janestreet, can someone explain it? I'm confused
<d_bot> <NULL> Do you already know about monads? About ocaml's monadic operators? To have a baseline
<hackinghorn> ah, I have no idea
<d_bot> <NULL> Unfortunately, I don't have enough insight yet about monads in programming (I'm still currently learning about them) so I'm not really comfortable explaining them from the ground up
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<qwr> basically syntactic sugar for some code patters - if you don't know monads then javascripts async is a bit similar
<d_bot> <leviroth> In what context are you seeing `let%bind`?
<d_bot> <leviroth> I've found that it was easier to understand by using it with a specific monad (`Async.Deferred`) and gradually getting used to it than by reading an Explanation Of Monads
rgrinberg has joined #ocaml
mbuf has joined #ocaml
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
terrorjack has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
gravicappa has joined #ocaml
vb has joined #ocaml
shawn has quit [Ping timeout: 268 seconds]
zebrag has quit [Quit: Konversation terminated!]
shawn has joined #ocaml
shawn has quit [Remote host closed the connection]
Everything has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
vicfred has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
vicfred has quit [Quit: Leaving]
<d_bot> <Continuation Calculus> Is there a way within dune to temporarily promote/obtain ppx-rewritten files?
Haudegen has joined #ocaml
gravicappa has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
<d_bot> <bnguyenv> I don't know, but in case it's useful, there was some discussion recently about how to look at ppx output here: https://discuss.ocaml.org/t/merlin-vs-ocaml-lsp/8887/19 (using `-dsource` or the VSCode plugin)
<d_bot> <Continuation Calculus> I see, thanks 🙂
<d_bot> <Continuation Calculus> Unrelated: where can I find more documentation about compiler warnings https://github.com/lucasaiu/ocaml/blob/master/utils/warnings.ml ? As in, when precisely are they triggered
<d_bot> <cod1r> Hi!
<d_bot> <octachron> @Continuation Calculus , beyond `-warn-help`, there is some more more detailed explanation at https://ocaml.org/manual/comp.html#s%3Acomp-warnings for few warnings. However, this warning documentation is lazily updated (and `Lazy.force` in this case can be implemented by opening an issue for a missing warning explanation).
<d_bot> <Continuation Calculus> Hahaha, I see 😄
<d_bot> <Continuation Calculus> Directly on https://github.com/ocaml/ocaml/issues ?
mro has quit [Remote host closed the connection]
<d_bot> <octachron> Yes, particularly if you can motivate the need for a better documentation. Like this, I would have another reason (beyond `that ought to be done`) to write down the documentation.
<d_bot> <Continuation Calculus> oh, i understood. i used `Ppxlib.Driver.standalone ()`, but it preserves the ppx annotations instead of removing them
<d_bot> <Continuation Calculus> so i got the ppx code included two times
<d_bot> <Continuation Calculus> (and the first type declaration was shadowed, making it unused)
jlrnick has joined #ocaml
<d_bot> <Continuation Calculus> is it possible to have a single dune command that watches two sub commands? I'd prefer avoiding changing my dune files (by adding a new rule for instance) for this, and having two separate `--watch` sometimes create locks/conflicts
<d_bot> <Continuation Calculus> (if not, i'll just change my dune files)
mro has joined #ocaml
<d_bot> <Continuation Calculus> answer is: yes. ~~but then, I don't know how you pass different arguments to each~~
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
wingsorc has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
bartholin has quit [Ping timeout: 265 seconds]
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 265 seconds]
bartholin has joined #ocaml
perrierjouet has joined #ocaml
spip has joined #ocaml
spip is now known as Guest9089
Guest515 has quit [Ping timeout: 240 seconds]
bartholin has quit [Ping timeout: 265 seconds]
bartholin has joined #ocaml
xiongxin has joined #ocaml
<Leonidas> hackinghorn: let%bind basically "unwraps" the contents of a monad so you can operate on it and then repack it back into that monad.
jakzale has quit [Remote host closed the connection]
b0o has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 256 seconds]
b0o has joined #ocaml
jakzale has joined #ocaml
shawnw has joined #ocaml
mro has joined #ocaml
shawnw has quit [Ping timeout: 252 seconds]
Techcable has quit [Ping timeout: 265 seconds]
mro has quit [Remote host closed the connection]
wingsorc__ has joined #ocaml
xiongxin1 has joined #ocaml
wingsorc__ has quit [Client Quit]
gravicappa has joined #ocaml
xiongxin has quit [Ping timeout: 265 seconds]
xiongxin1 is now known as xiongxin
wingsorc has quit [Ping timeout: 265 seconds]
bartholin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
Everything has quit [Quit: leaving]
xiongxin has quit [Quit: xiongxin]
mro has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
jlrnick has quit [Ping timeout: 252 seconds]
mbuf has quit [Quit: Leaving]
Techcable has joined #ocaml
bartholin has joined #ocaml
<d_bot> <arctumn> Has anyone tried github copilot with ocaml yet? Wanted to check out how it behaves but haven't got access to the beta.
rgrinberg has joined #ocaml
Guest9089 has quit [Read error: Connection reset by peer]
Guest9089 has joined #ocaml
<companion_cube> I forget, is there a library for IO over bigarrays (bigstrings)
<companion_cube> that does NOT assume asyncC?
<companion_cube> -c
<d_bot> <shawn> Not sure if this is what you need, but this is what comes to my mind https://github.com/inhabitedtype/faraday
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has quit [Remote host closed the connection]
bmo has quit [Ping timeout: 252 seconds]
bmo has joined #ocaml
bmo has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
bmo has joined #ocaml
<d_bot> <VPhantom> It's the datatype used by Lwt in <https://ocsigen.org/lwt/5.5.0/api/Lwt_bytes>
<d_bot> <VPhantom> (Btw if you wrap URLs in angle brackets: `<url...>` then Discord skips the previews.)
<companion_cube> indeed, not bad, @shawn
jlrnick has joined #ocaml
mro has joined #ocaml
gravicappa has quit [Ping timeout: 265 seconds]
<remexre> what's the right syntax for (sig include Foo;; include (Bar with type t = Foo.t);; end)
<remexre> oh, wait, :=, I vaguely remember this
<remexre> nvm!
average has quit [Quit: Connection closed for inactivity]
gravicappa has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
jsoo_ has joined #ocaml
tristanC_ has joined #ocaml
jsoo has quit [Quit: ZNC 1.8.2 - https://znc.in]
tristanC has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has quit [Quit: Leaving]
rgrinberg has joined #ocaml
spip has joined #ocaml
spip is now known as Guest1107
Anarchos has joined #ocaml
Guest9089 has quit [Ping timeout: 268 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Anarchos> Is there something i can do to get some merlin support for my local ocaml 5.00.0+dev0-2021-11-05 toolchain version ?
mro has quit [Read error: Connection reset by peer]
mro has joined #ocaml
rgrinberg has joined #ocaml
mro has quit [Ping timeout: 256 seconds]
vicfred has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
mro has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
average has joined #ocaml
waleee has joined #ocaml
jlrnick has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Ping timeout: 268 seconds]
bmo has quit [Ping timeout: 268 seconds]
bmo has joined #ocaml
jonasbits has quit [Ping timeout: 256 seconds]
waleee has quit [Ping timeout: 265 seconds]
waleee has joined #ocaml
bmo has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
andreypopp has quit [Ping timeout: 252 seconds]
bmo has joined #ocaml
bmo has quit [Ping timeout: 240 seconds]