#ocaml on 2022-08-24 — 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 John_Ivan_ has quit [*.net *.split]

00:00 xgqt has quit [*.net *.split]

00:00 bobo_ has quit [*.net *.split]

00:00 rwmjones has quit [*.net *.split]

00:00 terrorjack has quit [*.net *.split]

00:00 motherfsck has quit [*.net *.split]

00:00 Myrl has quit [*.net *.split]

00:00 hannes has quit [*.net *.split]

00:00 genpaku has quit [*.net *.split]

00:00 mjacob has quit [*.net *.split]

00:00 reynir has quit [*.net *.split]

00:00 Putonlalla has quit [*.net *.split]

00:00 jtm has quit [*.net *.split]

00:00 nerdypepper has quit [*.net *.split]

00:00 hannes has joined #ocaml

00:00 rwmjones has joined #ocaml

00:00 bobo_ has joined #ocaml

00:00 genpaku has joined #ocaml

00:01 Putonlalla has joined #ocaml

00:01 John_Ivan_ has joined #ocaml

00:01 John_Ivan_ has quit [Remote host closed the connection]

00:03 rgrinberg has joined #ocaml

00:03 jtm has joined #ocaml

00:03 John_Ivan has joined #ocaml

00:03 xgqt has joined #ocaml

00:04 reynir has joined #ocaml

00:04 motherfsck has joined #ocaml

00:04 terrorjack has joined #ocaml

00:04 Myrl has joined #ocaml

00:05 mjacob has joined #ocaml

00:05 nerdypepper has joined #ocaml

00:41 <John_Ivan> is simply writing out a variable in an expression the way to "return" a specific one in a function having multiple?

00:41 <John_Ivan> take for example:

00:41 <John_Ivan> let function_call x y z = if x = 0 then y else z;;

00:50 waleee has quit [Ping timeout: 255 seconds]

00:52 waleee has joined #ocaml

01:01 zebrag has joined #ocaml

01:07 perrierjouet has quit [Quit: WeeChat 3.6]

01:10 perrierjouet has joined #ocaml

01:34 Haudegen has quit [Ping timeout: 268 seconds]

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

02:02 azimut_ has quit [Remote host closed the connection]

02:02 azimut has joined #ocaml

02:08 raskol has joined #ocaml

02:09 williewillus has joined #ocaml

02:23 chrisz has quit [Ping timeout: 248 seconds]

02:25 chrisz has joined #ocaml

02:27 azimut has quit [Remote host closed the connection]

02:27 azimut has joined #ocaml

02:36 tizoc has quit [Quit: Coyote finally caught me]

02:43 tizoc has joined #ocaml

02:53 waleee has quit [Ping timeout: 255 seconds]

03:00 raskol has quit [Ping timeout: 255 seconds]

03:05 Myrl has quit [Changing host]

03:05 Myrl has joined #ocaml

03:07 mima has quit [Ping timeout: 252 seconds]

03:10 thermo has quit [Remote host closed the connection]

03:17 thermo has joined #ocaml

03:17 spip has joined #ocaml

03:18 bobo_ has quit [Ping timeout: 252 seconds]

03:35 thermo has quit [Remote host closed the connection]

03:44 thermo has joined #ocaml

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

03:47 gopiandc1 has quit [Read error: Connection reset by peer]

03:48 rgrinberg has joined #ocaml

03:53 gopiandc1 has joined #ocaml

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

04:30 mbuf has joined #ocaml

04:40 trev has joined #ocaml

05:11 Putonlalla has quit [Quit: Leaving.]

05:12 williewillus has quit [Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)]

05:30 bartholin has joined #ocaml

05:35 John_Ivan has quit [Ping timeout: 268 seconds]

05:55 tomku has quit [Ping timeout: 244 seconds]

05:55 tomku has joined #ocaml

07:12 Serpent7776 has joined #ocaml

07:19 mima has joined #ocaml

08:09 gopiandc1 has quit [Read error: Connection reset by peer]

08:10 szkl has quit [Quit: Connection closed for inactivity]

08:10 Haudegen has joined #ocaml

08:15 gopiandc1 has joined #ocaml

08:28 olle has joined #ocaml

08:35 jpds1 has quit [Remote host closed the connection]

08:36 azimut has quit [Remote host closed the connection]

08:36 jpds1 has joined #ocaml

08:37 azimut has joined #ocaml

09:03 wonko has joined #ocaml

09:06 jlrnick has joined #ocaml

09:07 <olle> I think I finally will have to do that escape analysis thing I've thought about for so long...

09:08 <olle> I wonder if anyone already did it in OCaml :d

09:11 pukkamustard has joined #ocaml

09:17 azimut has quit [Ping timeout: 268 seconds]

09:21 Serpent71 has joined #ocaml

09:24 Serpent7776 has quit [Ping timeout: 268 seconds]

09:50 Serpent71 is now known as Serpent7776

10:06 <olle> iirc, you're supposed to build up a graph on what points to what, and then iterate that graph

10:07 <zozozo> olle: there is a partial escape analysis in the compiler for the ref to mutable variable optimization

10:09 <olle> zozozo: Ooooh, that's a nice tip

10:26 bobo_ has joined #ocaml

10:26 spip has quit [Ping timeout: 260 seconds]

11:00 jlrnick has quit [Ping timeout: 240 seconds]

11:17 gareppa has joined #ocaml

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

11:28 gopiandc1 has quit [Ping timeout: 252 seconds]

11:29 gopiandc1 has joined #ocaml

11:45 waleee has joined #ocaml

11:56 mima has quit [Ping timeout: 260 seconds]

11:58 rwmjones has quit [Ping timeout: 248 seconds]

12:02 rwmjones has joined #ocaml

12:22 wonko has quit [Ping timeout: 240 seconds]

12:30 bartholin has quit [Quit: Leaving]

12:31 waleee has quit [Ping timeout: 244 seconds]

12:33 waleee has joined #ocaml

12:49 wonko has joined #ocaml

12:55 <olle> Couldn't find it in the code tho

12:55 <olle> Hm

12:56 <olle> Meh, I'll just give it a go later

12:58 szkl has joined #ocaml

13:01 wonko has quit [Ping timeout: 255 seconds]

13:06 gopiandc1 has quit [Ping timeout: 252 seconds]

13:07 gopiandc1 has joined #ocaml

13:09 mima has joined #ocaml

13:34 wonko has joined #ocaml

13:39 jlrnick has joined #ocaml

13:59 jpds1 has quit [Remote host closed the connection]

13:59 jpds1 has joined #ocaml

14:02 John_Ivan has joined #ocaml

14:03 jpds1 is now known as jpds

14:05 wonko has quit [Ping timeout: 260 seconds]

14:07 zebrag has joined #ocaml

15:21 rgrinberg has joined #ocaml

15:29 rgrinberg has quit [Ping timeout: 268 seconds]

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

15:33 wonko has joined #ocaml

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

15:56 raskol has joined #ocaml

16:12 Serpent7776 has quit [Quit: WeeChat 1.9.1]

16:14 raskol has quit [Ping timeout: 252 seconds]

16:38 Tuplanolla has joined #ocaml

16:40 trev has quit [Remote host closed the connection]

17:19 wonko has quit [Ping timeout: 255 seconds]

17:21 mbuf has quit [Quit: Leaving]

18:06 mima has quit [Ping timeout: 268 seconds]

18:51 azimut has joined #ocaml

19:19 waleee has joined #ocaml

19:31 raskol has joined #ocaml

20:01 raskol has quit [Ping timeout: 260 seconds]

20:02 jpds has quit [Remote host closed the connection]

20:07 jpds has joined #ocaml

20:18 wonko has joined #ocaml

20:28 raskol has joined #ocaml

20:34 <olle> Is it preferred to use records in AST instead of tuples?

20:34 <olle> (identifier * type_)

20:34 <olle> Or {identifier: string; t: type_}

20:35 <olle> identifier being an alias for string, sorry

20:36 <sim642> If the fields are obvious from the constructor name (and there's few of them), then tuples are probably fine

20:36 <olle> Yeah, but it kinda adds up after awhile

20:37 raskol has quit [Ping timeout: 244 seconds]

20:38 <olle> Hm hm hm

20:38 <olle> Function of function_name * param list * statement list * typ

20:38 <olle> Like such a thing

20:38 wonko has quit [Ping timeout: 260 seconds]

20:38 <sim642> I guess that's reaching a territory where records are more handy

20:39 <olle> Ye

20:39 <sim642> Although the CIL library that I've worked on has such long tuples in many places

20:39 <sim642> But they're annoying

20:39 <sim642> Because you have to remember the component order when pattern matching

20:39 <sim642> Instead of something like "Call { name; _ }"

20:40 <olle> Exactly

20:40 <sim642> It's also easier to add fields then without having to change everything everywhere

20:41 <olle> Also a good point

20:41 jlrnick has joined #ocaml

20:44 rgrinberg has joined #ocaml

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

21:05 Tuplanolla has quit [Ping timeout: 268 seconds]

21:06 jlrnick has quit [Ping timeout: 268 seconds]

21:08 Tuplanolla has joined #ocaml

21:18 mima has joined #ocaml

21:20 justache is now known as justDeez

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

22:14 olle has quit [Ping timeout: 260 seconds]

22:23 jpds has quit [Remote host closed the connection]

22:23 wonko has joined #ocaml

22:23 bobo_ has quit [Read error: Connection reset by peer]

22:24 jpds has joined #ocaml

22:24 bobo_ has joined #ocaml

22:31 wonko has quit [Ping timeout: 260 seconds]

22:35 jpds has quit [Remote host closed the connection]

22:36 jpds has joined #ocaml

22:37 raskol has joined #ocaml

23:20 rgrinberg has joined #ocaml

23:30 raskol has quit [Ping timeout: 255 seconds]

23:45 jpds has quit [Ping timeout: 268 seconds]

23:52 raskol has joined #ocaml