companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
rgrinberg has quit [Ping timeout: 250 seconds]
<drakonis> i wonder if something's wrong with the website generation code
<companion_cube> @Bluddy this really should be retired :D
<companion_cube> imode: starting with 4.14, streams are deprecated and moved into a separate library
<drakonis> hm
<imode> ah neat, is there an equivalent for them in the core or are they just... gone.
<drakonis> yes
<drakonis> kind of
<companion_cube> they've been long supplanted by Seq, which are functional iterators
<drakonis> gotta love these
<companion_cube> Stream is only (slightly) useful for writing some form of recursive descent parsers
rgrinberg has joined #ocaml
<imode> looking for something equivalent to java's streams.. seq looks like what I want.
<drakonis> they took streams from iterators anyways
<drakonis> so
<imode> yeh.
<companion_cube> ah, yes, if you're looking for a general purpose iterator, Seq is it
<imode> I'm trying to explore alternative languages for work, OCaml has drawn me in. is there any JVM support?
<companion_cube> (the standard `Seq` module has the basics, and I'm going to plug my extension: https://github.com/c-cube/oseq/ :p)
<drakonis> there's CLR support
<companion_cube> alas, no; there used to be ocamljava a long time ago but it was proprietary
<companion_cube> afaik it's dead
<companion_cube> you mostly get native code, or JS
<drakonis> doing ocaml in the jvm these days would require things that the jvm does not yet have
<imode> neat!
<companion_cube> yeah and it's going to get worse with effects :)
<drakonis> the gap widens once again.
<drakonis> wow this one's really old-ish
<drakonis> 3.08 is 18 years old yowza
lis has joined #ocaml
<drakonis> unless git is lying to me
<drakonis> wow, it really is, hot damn.
<companion_cube> I started at 3.11 I think :D
<drakonis> ocaml releases pre 4.x seem to be yearly
<drakonis> has anyone implemented java in ocaml though :V?
troydm has quit [Ping timeout: 240 seconds]
vicfred has quit [Quit: Leaving]
lis has quit [Quit: lis]
lis has joined #ocaml
lis is now known as lisq
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
spip has joined #ocaml
bobo has quit [Ping timeout: 260 seconds]
afrosenpai has quit [Ping timeout: 256 seconds]
afrosenpai has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
rgrinberg has joined #ocaml
terrorjack has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
zebrag has quit [Quit: Konversation terminated!]
mbuf has joined #ocaml
<d_bot> <cod1r> hi
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
rgrinberg has joined #ocaml
vicfred has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
gravicappa has joined #ocaml
<d_bot> <Bluddy> the link is just for an FFI. The OCamlJava project is here
<d_bot> <Bluddy> But I bet nobody has tested or run it in a while
troydm has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
gravicappa has joined #ocaml
gravicappa has quit [Ping timeout: 272 seconds]
gravicappa has joined #ocaml
azimut has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
azimut has joined #ocaml
dextaa4 has joined #ocaml
bartholin has joined #ocaml
dextaa4 has quit [Remote host closed the connection]
olle has joined #ocaml
dextaa4 has joined #ocaml
dextaa4 has quit [Remote host closed the connection]
Anarchos has joined #ocaml
bartholin has quit [Ping timeout: 272 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
bartholin has joined #ocaml
Everything has joined #ocaml
hyphen has quit [Ping timeout: 256 seconds]
hyphen has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
hyphen has quit [Ping timeout: 276 seconds]
hyphen has joined #ocaml
dhil has joined #ocaml
<sadiq> I think Java's Loom might make effects easier
<olle> sadiq: why?
tetrislife has joined #ocaml
chrisz has quit [Ping timeout: 272 seconds]
chrisz has joined #ocaml
zebrag has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
chrisz has quit [Ping timeout: 276 seconds]
chrisz has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
<sadiq> continuations support in the jvm
<olle> sadiq: How's that related to effects? Oh, like generators?
<olle> Meh, I'm still in the Koka 2 camp of effects
<olle> But yes, being able to defer is useful for unit testability
<olle> defer or yield
<sadiq> olle, loom adds user-mode threads
<sadiq> and a bunch of JVM functionality around that
<sadiq> from what I understand of the internals of the effects implementation, there's some stuff in loom (like continuations at the jvm level) that would be better to have than not.
<olle> Aha
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
Haudegen has joined #ocaml
chrisz has quit [Ping timeout: 276 seconds]
chrisz has joined #ocaml
<companion_cube> sadiq: is it just fibers, or full continuations?
chrisz has quit [Ping timeout: 276 seconds]
bobo has joined #ocaml
spip has quit [Ping timeout: 250 seconds]
chrisz has joined #ocaml
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
waleee has joined #ocaml
kaph_ has joined #ocaml
kaph has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
<sadiq> delimited continuations
<companion_cube> oh nice.
<vsiles> TIL ocaml has "alerts". How can I silence / hide things like `Error (alert deprecated): Cmdliner.Term.eval_choice` (temporary measure until we fix and update the code) ?
<companion_cube> anyone still using ocp-indent with neovim? :s
<companion_cube> my setup seems to have brokem after upgrading to neovim 0.7
vicfred has quit [Quit: Leaving]
<d_bot> <Bluddy> I'm done with indentation plugins
<d_bot> <Bluddy> hate them at this point
<companion_cube> it's worked very well for me
<companion_cube> but maybe I need to bite the bullet and uglify all my code with ocamlformat ;(
<vsiles> still using plain old vim for ocaml, sorry
<companion_cube> :)
<companion_cube> neovim is nice
<companion_cube> but yeah, it's still breaking stuff 😱
<d_bot> <undu> I'm loving the semantic highlighter
jpds has quit [Ping timeout: 240 seconds]
<d_bot> <Bluddy> neovim is awesome. I've switched to a mostly lua-based plugin ecosystem
<d_bot> <Bluddy> speed is much better on WSL
jpds has joined #ocaml
<vsiles> companion_cube: I'm using nvim for Coq/Coqtail cause the communication always breaks with vim. Other than that, I'm vim
<d_bot> <Bluddy> why use coq? you know nvim has lsp-server support built-in, right?
<d_bot> <darrenldl> companion_cube: o/
<d_bot> <darrenldl>
<d_bot> <darrenldl> though i mainly run ocp-indent as a separate pass
rgrinberg has joined #ocaml
<companion_cube> @Bluddy Coq is not CoC
<companion_cube> vsiles: interesting
<qwr> imho vim is good as editor, but neovim more suited as development environment - it is kind of like emacs with lua scripting and vi editor
gravicappa has quit [Ping timeout: 272 seconds]
<d_bot> <Bluddy> oh rats. sorry my brain got confused
<d_bot> <cod1r> I think neovim has better defaults
<d_bot> <cod1r> personally speaking
<d_bot> <cod1r> especially for the clipboard
<vsiles> companion_cube: if you're curious, the backlog is https://github.com/whonore/Coqtail/issues/241
bartholin has quit [Quit: Leaving]
<d_bot> <RICADINHO> ocaml be like
<d_bot> <RICADINHO> BRUH!
spip has joined #ocaml
bobo has quit [Ping timeout: 276 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jpds has quit [Ping timeout: 240 seconds]
jpds has joined #ocaml
<tetrislife> there is a vi-like, kakoune.io, which is very interesting to use (composable vi-identical key bindings). it is a old-ish project, tempting proposition to re-implement it in OCaml.
Haudegen has quit [Quit: Bin weg.]
olle has quit [Ping timeout: 240 seconds]
dextaa4 has joined #ocaml
mbuf has quit [Quit: Leaving]
Everything has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
Anarchos has joined #ocaml
vicfred has joined #ocaml
Haudegen has joined #ocaml
<d_bot> <cod1r> hi
<d_bot> <Frisk> One of the guys on our team at work is a bib kakoune fan.
gravicappa has joined #ocaml
xgqt has quit [Remote host closed the connection]
xgqt has joined #ocaml
dinosaure has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Haudegen has joined #ocaml
Anarchos has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
Serpent7776 has quit [Quit: leaving]
dextaa4 has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Haudegen has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
<d_bot> <ansiwen> I wanted to give a feedback: it works perfectly. At least as long as I use the normal sockets. Thanks a lot.
<d_bot> <ansiwen> But if I use it with the MirageOS TCP/IP stack it does not work, unfortunately. @anmonteiro before I dig deeper into that, maybe it rings a bell with you? Actually the server part of h2-mirage didn't compile with current mirage anymore. So I simply copied the gluten-mirage code and used it only for the client. But maybe I did something wrong there.
<d_bot> <ansiwen> It seems like it's immediately closing the connection after the request has been send out:
<d_bot> <ansiwen> ```
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: INF [etcd_store] HTTP/2 connection to etcd established
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [etcd_store] gRPC call service:(etcdserverpb.KV) rpc:(Range) req:(\n\014/.doesnotexist)
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [window] sequence validation: seq=3287574941 range=3287574941[262140] res=true
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [state] Established - Recv_ack(2269755036) -> Established
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [ipv4] ip write: mtu is 1500, hdr_len is 20, size 117 payload len 0, needed_bytes 137
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [window] sequence validation: seq=3287574941 range=3287574941[262140] res=true
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [state] Established - Recv_ack(2269755133) -> Established
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [window] sequence validation: seq=3287574941 range=3287574941[262140] res=true
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [state] Established - Recv_ack(2269755133) -> Established
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [state] Established - Recv_fin -> Close_wait
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [pcb] Closing connection remote 192.168.101.1,2379 to local 192.168.101.2, 18201
<d_bot> <ansiwen> 2022-04-28 00:56:12 +02:00: DBG [state] Close_wait - Send_fin(2269755133) -> Last_ack(2269755133)
<d_bot> <ansiwen> ```
<d_bot> <ansiwen> oh, damit, there is a bridge to IRC, sorry for the code block. 🤦‍♂️
waleee[m] has joined #ocaml