#ocaml on 2022-12-19 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 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/

00:00 wingsorc has joined #ocaml

00:02 cedric has quit [Quit: Konversation terminated!]

00:04 Soni has quit [Ping timeout: 246 seconds]

00:46 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

01:02 spip has quit [Quit: Konversation terminated!]

01:29 Soni has joined #ocaml

01:34 xd1le has joined #ocaml

02:42 rgrinberg has joined #ocaml

03:08 chrisz has quit [Ping timeout: 265 seconds]

03:10 jao has quit [Ping timeout: 268 seconds]

03:10 chrisz has joined #ocaml

03:47 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

03:49 terrorjack has joined #ocaml

04:11 azimut has joined #ocaml

04:19 Techcable has quit [Remote host closed the connection]

04:37 Techcable has joined #ocaml

04:44 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

04:46 rgrinberg has joined #ocaml

04:55 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

05:15 rgrinberg has joined #ocaml

05:34 troydm has quit [Ping timeout: 252 seconds]

06:29 bgs has joined #ocaml

06:42 trev has joined #ocaml

06:47 trev has quit [Remote host closed the connection]

06:48 trev has joined #ocaml

06:51 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

07:20 Haudegen has joined #ocaml

07:28 bgs has quit [Remote host closed the connection]

07:39 trev has quit [Remote host closed the connection]

07:40 trev has joined #ocaml

08:12 mbuf has joined #ocaml

08:39 cedric has joined #ocaml

08:51 azimut has quit [Ping timeout: 255 seconds]

09:01 azimut has joined #ocaml

09:02 bartholin has joined #ocaml

09:20 azimut has quit [Ping timeout: 255 seconds]

09:21 azimut has joined #ocaml

09:30 Serpent7776 has joined #ocaml

09:50 hackinghorn has quit [Ping timeout: 260 seconds]

09:50 olle has joined #ocaml

10:11 spip has joined #ocaml

10:28 trev has quit [Quit: trev]

10:40 trev has joined #ocaml

10:55 hackinghorn has joined #ocaml

11:19 mbuf has quit [Ping timeout: 265 seconds]

11:26 mbuf has joined #ocaml

11:27 mbuf has quit [Remote host closed the connection]

11:30 xd1le has quit [Quit: xd1le]

11:35 Haudegen has quit [Quit: Bin weg.]

12:39 hackinghorn has quit [Ping timeout: 252 seconds]

12:42 Haudegen has joined #ocaml

12:47 waleee has joined #ocaml

13:10 hackinghorn has joined #ocaml

13:16 wingsorc has quit [Ping timeout: 272 seconds]

13:17 cedric has quit [Quit: Konversation terminated!]

13:18 alexherbo2 has quit [Remote host closed the connection]

13:18 alexherbo2 has joined #ocaml

13:53 alexherbo2 has quit [Ping timeout: 260 seconds]

13:56 alexherbo2 has joined #ocaml

14:05 waleee has quit [Ping timeout: 252 seconds]

14:12 Serpent7776 has quit [Ping timeout: 260 seconds]

14:20 bgs has joined #ocaml

14:34 neiluj has joined #ocaml

14:36 <neiluj> Hey! why is char '0' different from '\000'?

14:40 <zozozo> neiluj: what '0' is the digit 0, whose byte representation / asccii code is 48, whereas `\000` should the character with ascii code 0 (i.e. the null byte)

14:40 <zozozo> -what

14:42 <neiluj> aha! thanks

14:57 rgrinberg has joined #ocaml

15:39 kevin1 has quit [Quit: WeeChat 3.4]

15:47 Serpent7776 has joined #ocaml

15:58 bartholin has quit [Quit: Leaving]

15:58 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:01 waleee has joined #ocaml

16:13 waleee has quit [Ping timeout: 252 seconds]

16:15 waleee has joined #ocaml

16:16 olle has quit [Remote host closed the connection]

16:31 rgrinberg has joined #ocaml

16:32 rgrinberg has quit [Read error: Connection reset by peer]

16:33 rgrinberg has joined #ocaml

16:37 waleee has quit [Ping timeout: 260 seconds]

16:43 Haudegen has quit [Quit: Bin weg.]

16:45 spip has quit [Remote host closed the connection]

16:45 spip has joined #ocaml

16:46 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

16:48 rgrinberg has joined #ocaml

16:59 Tuplanolla has joined #ocaml

17:14 n0den1te has joined #ocaml

17:16 jao has joined #ocaml

17:24 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

17:27 n0den1te has left #ocaml [#ocaml]

17:30 rgrinberg has joined #ocaml

17:37 ohperitel has quit [Quit: ZNC 1.8.2 - https://znc.in]

17:37 ohperitel has joined #ocaml

17:46 xgqt has quit [Ping timeout: 272 seconds]

17:47 xgqt has joined #ocaml

18:03 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:09 rgrinberg has joined #ocaml

18:19 Haudegen has joined #ocaml

18:27 gareppa has joined #ocaml

18:32 gareppa has quit [Quit: Leaving]

18:37 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:41 rgrinberg has joined #ocaml

18:47 John_Ivan has quit [Read error: Connection reset by peer]

18:47 olle has joined #ocaml

18:51 John_Ivan has joined #ocaml

19:00 <neiluj> do you know a framework for constraint programming in ocaml?

19:06 <zozozo> I'm not sure what constraint programming is

19:12 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

19:19 <drakonis> zozozo: prolog

19:21 <zozozo> ah, I see

19:21 <drakonis> you want constraint logic programming

19:22 <drakonis> which is available on almost every major active prolog implementation?

19:22 <drakonis> there's one that's hosted on ocaml if i remember correctly

19:22 <drakonis> cant remember what it was called though?

19:23 <drakonis> ah, elpi

20:14 <neiluj> yeah, something like prolog, or oz

20:15 <neiluj> thanks, will look at elpi!

20:25 wingsorc has joined #ocaml

20:49 <Armael> elpi looks nice indeed

20:49 <Armael> I think there's also an ocaml port of minikanren

20:56 gareppa has joined #ocaml

21:01 gareppa has quit [Remote host closed the connection]

21:10 bgs has quit [Remote host closed the connection]

21:20 olle has quit [Ping timeout: 268 seconds]

21:36 rgrinberg has joined #ocaml

22:15 Serpent7776 has quit [Ping timeout: 252 seconds]

22:24 jao has quit [Ping timeout: 252 seconds]

22:53 trev has quit [Remote host closed the connection]

23:06 neiluj has quit [Ping timeout: 256 seconds]

23:38 Tuplanolla has quit [Quit: Leaving.]

23:41 perrierjouet has quit [Quit: WeeChat 3.7.1]

23:43 perrierjouet has joined #ocaml

23:57 hackinghorn has quit [Changing host]

23:57 hackinghorn has joined #ocaml