#ocaml on 2021-06-12 — 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:19 leah2 has quit [Read error: Connection reset by peer]

00:30 waleee has quit [Ping timeout: 244 seconds]

00:36 Haudegen has quit [Ping timeout: 244 seconds]

01:11 Tuplanolla has quit [Quit: Leaving.]

01:48 zebrag has quit [Quit: Konversation terminated!]

04:55 mikess has quit [Ping timeout: 272 seconds]

05:06 <d_bot> <ggole> OCaml doesn't really have constants at all at the language level

05:16 hackinghorn has quit [Quit: Leaving]

05:50 unyu has quit [Quit: WeeChat 3.1]

06:07 mbuf has joined #ocaml

06:21 unyu has joined #ocaml

07:19 wonko has joined #ocaml

07:28 mro has joined #ocaml

07:34 yoctocell has joined #ocaml

07:50 waleee has joined #ocaml

07:59 waleee has quit [Ping timeout: 264 seconds]

08:08 mro has quit [Remote host closed the connection]

08:14 <Chouhartem> who needs const when you have unmutable ?

08:45 <fluxm> TIL the "mention label only" works also for row types: https://github.com/ocaml-multicore/eio/blob/19dadbefc11a01234293dfbbc40dc7eaceb47fda/lib_eunix/eunix.mli#L117

08:46 <fluxm> (c++) const is actually quite a nice feature when you do have mutability somewhere. there are some phantom-based implementations of those, but they obvously work only when the type in question has been built with support for them.

08:46 <fluxm> I believe there are e.g. mutable/const string libraries out there with phantom types indicating access

08:58 bartholin has joined #ocaml

08:59 olle_ has joined #ocaml

09:23 wonko has quit [Ping timeout: 244 seconds]

09:26 Tuplanolla has joined #ocaml

09:27 wonko has joined #ocaml

09:32 wonko has quit [Ping timeout: 252 seconds]

09:33 leah2 has joined #ocaml

09:50 oriba has joined #ocaml

09:55 Serpent7776 has joined #ocaml

09:55 Haudegen has joined #ocaml

10:19 mro has joined #ocaml

10:25 mro has quit [Remote host closed the connection]

10:34 mro has joined #ocaml

10:56 bartholin has quit [Ping timeout: 252 seconds]

11:01 bastienleonard has joined #ocaml

11:08 bartholin has joined #ocaml

11:33 mro_ has joined #ocaml

11:34 mro has quit [Ping timeout: 272 seconds]

11:58 thinking-tower has joined #ocaml

11:59 thinking-tower has quit [Client Quit]

11:59 zebrag has joined #ocaml

12:21 zebrag has quit [Quit: Konversation terminated!]

12:21 zebrag has joined #ocaml

12:27 mro_ has quit [Remote host closed the connection]

12:31 mro has joined #ocaml

12:36 berberman_ has joined #ocaml

12:37 berberman has quit [Ping timeout: 272 seconds]

12:53 dhil has joined #ocaml

12:57 bartholin has quit [Ping timeout: 256 seconds]

12:59 dhil has quit [Ping timeout: 272 seconds]

13:10 bartholin has joined #ocaml

13:14 dhil has joined #ocaml

13:15 octocelly has joined #ocaml

13:15 octocelly has quit [Remote host closed the connection]

13:18 leah2 has quit [*.net *.split]

13:18 Tuplanolla has quit [*.net *.split]

13:18 yoctocell has quit [*.net *.split]

13:25 leah2 has joined #ocaml

13:26 Tuplanolla has joined #ocaml

13:42 mikess has joined #ocaml

13:55 mbuf has quit [Quit: Leaving]

14:03 bartholin has quit [Quit: Leaving]

14:22 pippijn has quit [Ping timeout: 252 seconds]

14:22 sadiq has quit [Ping timeout: 252 seconds]

14:22 vsiles has quit [Ping timeout: 252 seconds]

14:22 vsiles has joined #ocaml

14:22 sadiq has joined #ocaml

14:27 pippijn has joined #ocaml

14:31 zebrag has quit [Remote host closed the connection]

14:38 waleee has joined #ocaml

14:42 zebrag has joined #ocaml

14:57 zebrag has quit [Remote host closed the connection]

15:02 waleee has quit [Ping timeout: 268 seconds]

15:05 waleee has joined #ocaml

15:11 zebrag has joined #ocaml

15:11 olle_ has quit [Ping timeout: 252 seconds]

15:27 zebrag has quit [Remote host closed the connection]

15:27 yoctocell_ has joined #ocaml

15:28 yoctocell_ has quit [Client Quit]

15:29 yoctocell has joined #ocaml

15:31 olle_ has joined #ocaml

15:34 zebrag has joined #ocaml

15:50 olle_ has quit [Ping timeout: 268 seconds]

15:59 mikess has quit [Ping timeout: 264 seconds]

16:02 wingsorc has joined #ocaml

16:03 TheLemonMan has joined #ocaml

16:06 mikess has joined #ocaml

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

16:20 mro has joined #ocaml

16:34 zebrag has quit [Remote host closed the connection]

16:39 zebrag has joined #ocaml

16:56 olle has joined #ocaml

17:09 waleee has quit [Ping timeout: 265 seconds]

17:10 waleee has joined #ocaml

17:17 dhil has quit [Ping timeout: 268 seconds]

17:31 bartholin has joined #ocaml

17:35 waleee has quit [Ping timeout: 265 seconds]

17:37 waleee has joined #ocaml

17:45 waleee has quit [Ping timeout: 264 seconds]

17:45 notnotdan has quit [Quit: bye]

17:55 olle has quit [Ping timeout: 272 seconds]

18:10 mro has quit [Quit: Leaving...]

18:27 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

18:37 bastienleonard has quit [Ping timeout: 244 seconds]

18:50 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

18:55 bastienleonard has joined #ocaml

19:01 bartholin has quit [Ping timeout: 245 seconds]

19:05 mro has joined #ocaml

19:07 waleee has joined #ocaml

19:14 mro has quit [Quit: Leaving...]

19:14 waleee has quit [Ping timeout: 244 seconds]

19:14 bartholin has joined #ocaml

19:23 koorogi has left #ocaml [WeeChat 3.1]

19:29 waleee has joined #ocaml

19:38 gareppa has joined #ocaml

19:43 olle has joined #ocaml

19:43 <olle> Is there a map function that takes the current list item *and* the previous one?

19:43 <olle> I want to filter by predicate depending on previous item in a sorted list.

19:50 <thizanne> olle: there isn't "as is", but you can do that with a fold

19:52 <thizanne> something like List.fold_right (fun current (previous, result) -> if predicate previous elem then (current, current :: result) else (current, result))

19:54 waleee has quit [Ping timeout: 272 seconds]

19:55 waleee has joined #ocaml

20:02 waleee has quit [Ping timeout: 272 seconds]

20:03 waleee has joined #ocaml

20:05 <olle> thizanne: Hm, yeah

20:05 <olle> Thanks

20:08 Techcable has quit [Quit: ZNC - https://znc.in]

20:10 Techcable has joined #ocaml

20:14 waleee has quit [Ping timeout: 264 seconds]

20:16 gareppa has quit [Quit: Leaving]

20:16 waleee has joined #ocaml

20:37 <companion_cube> thizanne: you mean fold left, right? :p

20:38 <companion_cube> (does anyone actually use fold_right?)

20:45 wonko has joined #ocaml

20:51 dhil has joined #ocaml

21:01 bartholin has quit [Ping timeout: 252 seconds]

21:12 waleee has quit [Ping timeout: 268 seconds]

21:14 waleee has joined #ocaml

21:14 bartholin has joined #ocaml

21:22 waleee has quit [Ping timeout: 272 seconds]

21:35 waleee has joined #ocaml

21:48 olle has quit [Ping timeout: 272 seconds]

21:50 Serpent7776 has quit [Quit: leaving]

21:52 <thizanne> companion_cube: how are you writing filter with fold_left ?

21:53 <thizanne> obviously if the order doesn't matter or it's actually not a filter-like function that you want, fold_left is likely a best bet

21:57 wonko has quit [Ping timeout: 245 seconds]

22:04 bastienleonard has quit [Quit: WeeChat 3.1]

22:14 bartholin has quit [Quit: Leaving]

23:06 mikess has quit [Ping timeout: 264 seconds]

23:23 <companion_cube> with List.rev afterwards :p

23:23 <companion_cube> I avoid non tailrec functions in general

23:30 vb has quit [Ping timeout: 264 seconds]

23:31 vb has joined #ocaml

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

23:52 yoctocell has quit [Ping timeout: 268 seconds]

23:53 mikess has joined #ocaml