#ocaml on 2021-08-07 — irc logs at libera.irclog.whitequark.org

2021-05-26 13:52 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/

00:05 andreypopp has joined #ocaml

00:14 andreypopp_ has joined #ocaml

00:14 andreypopp has quit [Ping timeout: 272 seconds]

00:19 andreypopp_ has quit [Read error: Connection reset by peer]

00:19 andreypopp has joined #ocaml

00:22 andreypopp has quit [Read error: Connection reset by peer]

00:22 andreypopp has joined #ocaml

00:24 zebrag has joined #ocaml

00:33 andreypopp has quit [Ping timeout: 240 seconds]

00:35 andreypopp has joined #ocaml

00:37 andreypopp has quit [Read error: Connection reset by peer]

00:43 andreypopp has joined #ocaml

01:14 <brettgilio> Is there a way to get a newer version of opam from inside of opam?

01:18 <d_bot> <NULL> Installing `opam-devel` and following the instructions to use it instead of your current one

01:27 <brettgilio> Another question. I know ocaml has a tls library available on opam, but what about tcp? Is that something built into the stdlib?

01:28 <brettgilio> probably unix sockets?

01:30 <brettgilio> wow I must have short term memory loss, I just remembered I already asked this

01:30 <brettgilio> lmfao

01:30 <brettgilio> I need to sleep

01:44 jtck has joined #ocaml

02:10 <companion_cube> tcp is handled by the OS anyway?

02:26 jtck has quit [Remote host closed the connection]

02:27 jtck has joined #ocaml

02:34 jtck has quit [Remote host closed the connection]

02:37 jtck has joined #ocaml

02:41 <d_bot> <Shon | Informal Systems> Anyone around these parts use mdx?

02:41 <d_bot> <Shon | Informal Systems> If so, any idea or example of how to use it to test ocaml code that depends on libraries defined a project?

03:00 kor1 has quit [Quit: Leaving.]

03:41 zebrag has quit [Quit: Konversation terminated!]

03:59 <d_bot> <Shon | Informal Systems> I figured it out! In case a subsequent person is interested: https://github.com/shonfeder/um-abt/blob/trunk/dune

05:14 vicfred has joined #ocaml

05:17 gravicappa has joined #ocaml

05:25 gravicappa has quit [Ping timeout: 245 seconds]

06:17 Tuplanolla has joined #ocaml

06:52 gravicappa has joined #ocaml

07:45 bartholin has joined #ocaml

08:05 oisota has joined #ocaml

08:05 dh` has joined #ocaml

08:06 pieguy128 has joined #ocaml

08:07 ocabot has joined #ocaml

08:08 habnabit_ has joined #ocaml

08:11 Nahra has quit [Remote host closed the connection]

08:12 companion_cube has joined #ocaml

08:31 elf_fortrezz has joined #ocaml

09:01 Nahra has joined #ocaml

09:12 vicfred has quit [Quit: Leaving]

09:43 elf_fortrezz has quit [Quit: Client closed]

09:46 elf_fortrezz has joined #ocaml

09:46 elf_fortrezz has quit [Client Quit]

09:47 elf_fortrez has joined #ocaml

10:18 elf_fortrez has quit [Ping timeout: 246 seconds]

10:53 Guest3131 has quit [Quit: Konversation terminated!]

11:08 spip has joined #ocaml

11:54 Melantha has joined #ocaml

12:00 smarton has joined #ocaml

12:05 <smarton> Hi! I'm having trouble understanding some stuff about multicore. Would an async/await implementation in OCaml be more close to C#'s model if it were using effects or domains?

12:05 <smarton> I think it's with Effects but I'm not sure

12:25 average has joined #ocaml

12:33 hackinghorn has quit [Quit: Leaving]

14:05 zebrag has joined #ocaml

14:51 kor1 has joined #ocaml

15:17 <companion_cube> effects are a long way away

15:17 <companion_cube> for now the async story is to use lwt

15:27 <d_bot> <Deadrat> Or jane street async

15:27 <companion_cube> or, that, yes

15:45 berberman_ has joined #ocaml

15:46 berberman has quit [Ping timeout: 258 seconds]

15:46 <d_bot> <Drup> You can't deconstructs an element and/or access its children properties in tyxml, at least in a typed way

15:46 <d_bot> <Drup> What's the context ?

16:16 smarton has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]

16:17 smarton has joined #ocaml

16:20 smarton has quit [Client Quit]

16:20 smarton has joined #ocaml

16:23 Guest593 has joined #ocaml

16:23 smarton has quit [Client Quit]

16:24 Guest593 has quit [Client Quit]

16:27 jtck has quit [Remote host closed the connection]

16:29 jtck has joined #ocaml

16:31 Leonidas has joined #ocaml

16:31 Leonidas is now known as Guest9609

16:39 noddy has joined #ocaml

16:40 noddy has quit [Max SendQ exceeded]

16:41 noddy has joined #ocaml

16:47 noddy has quit [Ping timeout: 272 seconds]

16:48 noddy has joined #ocaml

16:53 mro has joined #ocaml

16:54 mro has quit [Remote host closed the connection]

16:55 noddy has quit [Ping timeout: 245 seconds]

16:57 noddy has joined #ocaml

16:57 elf_fortrez has joined #ocaml

17:02 noddy has quit [Ping timeout: 245 seconds]

17:03 noddy has joined #ocaml

17:06 favonia has quit [Ping timeout: 240 seconds]

17:09 noddy has quit [Read error: Connection reset by peer]

17:10 noddy has joined #ocaml

17:24 kor1 has quit [Quit: Leaving.]

17:48 olle has joined #ocaml

18:16 olle has quit [Ping timeout: 258 seconds]

18:17 olle has joined #ocaml

18:19 malc has joined #ocaml

18:36 mro has joined #ocaml

18:48 elf_fortrez has quit [Ping timeout: 246 seconds]

18:52 favonia has joined #ocaml

19:04 yoctocell has joined #ocaml

19:34 mro has quit [Remote host closed the connection]

19:36 mro has joined #ocaml

20:04 average has quit [Quit: Connection closed for inactivity]

20:07 <brettgilio> I think @smarton's question went unanswered

20:07 <brettgilio> they were asking about the concept, not what implementation to use.

20:21 mro_ has joined #ocaml

20:21 mro has quit [Ping timeout: 258 seconds]

20:25 mro_ has quit [Ping timeout: 240 seconds]

20:27 mro has joined #ocaml

20:32 mro has quit [Ping timeout: 276 seconds]

20:33 olle has quit [Ping timeout: 258 seconds]

20:41 Haudegen has joined #ocaml

20:47 gravicappa has quit [Ping timeout: 240 seconds]

20:49 malc has quit [Remote host closed the connection]

21:16 average has joined #ocaml

21:47 yoctocell has quit [Ping timeout: 258 seconds]

21:53 Tuplanolla has quit [Quit: Leaving.]

22:20 bartholin has quit [Quit: Leaving]

22:20 brettgilio` has joined #ocaml

22:21 brettgilio` is now known as _brettgilio

22:25 _brettgilio is now known as brettgilio`

22:28 brettgilio` is now known as _brettgilio

22:32 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

22:33 Haudegen has joined #ocaml

23:23 _brettgilio has quit [Remote host closed the connection]

23:27 tizoc has quit [Quit: Coyote finally caught me]

23:27 tizoc has joined #ocaml