#ocaml on 2025-02-01 — irc logs at libera.irclog.whitequark.org

2024-05-29 14:49 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:19 malte has quit [Remote host closed the connection]

00:23 malte has joined #ocaml

00:24 Inline has quit [Ping timeout: 272 seconds]

00:26 Inline has joined #ocaml

00:30 Tuplanolla has quit [Quit: Leaving.]

00:35 alfiee has joined #ocaml

00:36 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

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

00:39 alfiee has quit [Ping timeout: 248 seconds]

00:47 ygrek has joined #ocaml

00:49 bibi_ has quit [Quit: Konversation terminated!]

00:52 bibi_ has joined #ocaml

01:01 Inline has joined #ocaml

01:03 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

01:16 ygrek has quit [Remote host closed the connection]

01:24 alfiee has joined #ocaml

01:28 alfiee has quit [Ping timeout: 252 seconds]

01:50 sand_dull has joined #ocaml

01:53 sand_dull has quit [Remote host closed the connection]

02:02 sand_dull has joined #ocaml

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

02:13 alfiee has joined #ocaml

02:17 alfiee has quit [Ping timeout: 260 seconds]

02:21 myrkraverk has joined #ocaml

02:23 myrkraverk_ has quit [Ping timeout: 252 seconds]

03:01 alfiee has joined #ocaml

03:05 alfiee has quit [Ping timeout: 246 seconds]

03:15 Haudegen has quit [Quit: Bin weg.]

03:32 myrkraverk_ has joined #ocaml

03:34 myrkraverk has quit [Ping timeout: 252 seconds]

03:50 alfiee has joined #ocaml

03:54 alfiee has quit [Ping timeout: 248 seconds]

03:57 Inline_ has joined #ocaml

03:58 Inline has quit [Ping timeout: 265 seconds]

04:21 Inline_ is now known as Inline

04:41 alfiee has joined #ocaml

04:45 alfiee has quit [Ping timeout: 272 seconds]

05:11 myrkraverk__ has joined #ocaml

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

05:29 alfiee has joined #ocaml

05:34 alfiee has quit [Ping timeout: 260 seconds]

05:56 Inline has quit [Ping timeout: 248 seconds]

06:05 euphores has quit [Quit: Leaving.]

06:12 euphores has joined #ocaml

06:18 alfiee has joined #ocaml

06:22 alfiee has quit [Ping timeout: 252 seconds]

07:07 alfiee has joined #ocaml

07:11 alfiee has quit [Ping timeout: 248 seconds]

07:55 alfiee has joined #ocaml

07:59 alfiee has quit [Ping timeout: 245 seconds]

08:36 bartholin has joined #ocaml

08:44 alfiee has joined #ocaml

08:47 Serpent7776 has joined #ocaml

08:48 alfiee has quit [Ping timeout: 252 seconds]

08:51 semarie has quit [Quit: quit]

08:59 semarie has joined #ocaml

09:04 fmira has joined #ocaml

09:06 <fmira> are there any tricks for making utop able to replace types / function definitions after theyve been declared instead of shadowing it or would that just be breaking the fundamental way ocaml is supposed to work

09:07 <fmira> i miss how in scheme i can redefine a procedure and have all previously declared functions referencing it start calling the new function..

09:18 Serpent7776 has quit [Ping timeout: 260 seconds]

09:33 alfiee has joined #ocaml

09:35 Exa has quit [Quit: see ya!]

09:37 alfiee has quit [Ping timeout: 260 seconds]

09:44 anpad has quit [Quit: ZNC 1.8.2 - https://znc.in]

09:48 anpad has joined #ocaml

09:48 szkl has joined #ocaml

09:49 olle has joined #ocaml

10:04 Exa has joined #ocaml

10:12 Tuplanolla has joined #ocaml

10:17 Inline has joined #ocaml

10:22 alfiee has joined #ocaml

10:26 alfiee has quit [Ping timeout: 252 seconds]

10:34 <discocaml> <vladd9556> Maybe if you have some sort of way to find all functions / type defs etc referencing your "replacement", a solution would be to reload them in utop in the correct order. I'm not sure if a similar functionality already exists

10:50 rgrinberg has joined #ocaml

10:52 Inline has quit [Ping timeout: 252 seconds]

10:56 Inline has joined #ocaml

11:10 Serpent7776 has joined #ocaml

11:11 alfiee has joined #ocaml

11:16 alfiee has quit [Ping timeout: 272 seconds]

11:45 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

11:59 alexherbo2 has joined #ocaml

11:59 alfiee has joined #ocaml

12:01 rgrinberg has joined #ocaml

12:03 <discocaml> <lukstafi> The UI solution that would appeal to me more is one that surfaces both the toplevel and the backing code history: basically, a Proof General mode for OCaml.

12:03 alfiee has quit [Ping timeout: 246 seconds]

12:10 Haudegen has joined #ocaml

12:37 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

12:47 alfiee has joined #ocaml

12:51 alfiee has quit [Ping timeout: 252 seconds]

13:35 alfiee has joined #ocaml

13:40 alfiee has quit [Ping timeout: 276 seconds]

14:01 <discocaml> <Kali> you could do it by putting the function in a reference and modifying it each time you wanted the program to use a new version

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

14:23 alfiee has joined #ocaml

14:27 alfiee has quit [Ping timeout: 245 seconds]

14:57 Inline has quit [Ping timeout: 244 seconds]

15:09 alfiee has joined #ocaml

15:16 ygrek has joined #ocaml

15:18 alfiee has quit [Ping timeout: 260 seconds]

15:19 alfiee has joined #ocaml

15:23 alfiee has quit [Ping timeout: 265 seconds]

15:29 rgrinberg has joined #ocaml

16:04 Inline has joined #ocaml

16:07 alfiee has joined #ocaml

16:11 alfiee has quit [Ping timeout: 260 seconds]

16:30 <discocaml> <holmdunc> Clojure is very serious about that and considers definitions as one of its first-class Reference types https://clojure.org/reference/vars

16:39 Inline has quit [Ping timeout: 276 seconds]

16:47 pippijn has quit [Remote host closed the connection]

16:55 alfiee has joined #ocaml

17:00 alfiee has quit [Ping timeout: 252 seconds]

17:12 adrien has quit [Ping timeout: 276 seconds]

17:25 alexherbo2 has quit [Remote host closed the connection]

17:27 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

17:30 rgrinberg has joined #ocaml

17:31 ygrek has quit [Remote host closed the connection]

17:33 rgrinberg has quit [Client Quit]

17:36 rgrinberg has joined #ocaml

17:44 alfiee has joined #ocaml

17:48 alfiee has quit [Ping timeout: 246 seconds]

18:04 rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:19 fmira has quit [Remote host closed the connection]

18:20 fmira has joined #ocaml

18:32 alfiee has joined #ocaml

18:36 alfiee has quit [Ping timeout: 245 seconds]

19:21 alfiee has joined #ocaml

19:25 alfiee has quit [Ping timeout: 248 seconds]

19:50 ygrek has joined #ocaml

19:56 xgqt has quit [Quit: WeeChat 4.2.2]

19:56 xgqt has joined #ocaml

20:10 alfiee has joined #ocaml

20:14 alfiee has quit [Ping timeout: 246 seconds]

20:14 dukester has joined #ocaml

20:16 dukester has left #ocaml [Time to go]

20:17 germ has quit [Read error: Connection reset by peer]

20:24 germ has joined #ocaml

20:46 Haudegen has quit [Quit: No Ping reply in 180 seconds.]

20:48 Haudegen has joined #ocaml

21:01 alfiee has joined #ocaml

21:06 alfiee has quit [Ping timeout: 272 seconds]

21:14 infinity0 has quit [Ping timeout: 245 seconds]

21:34 infinity0 has joined #ocaml

21:47 dukester has joined #ocaml

21:49 alfiee has joined #ocaml

21:53 alfiee has quit [Ping timeout: 244 seconds]

22:27 Serpent7776 has quit [Ping timeout: 260 seconds]

22:30 dukester has left #ocaml [Time to go]

22:38 alfiee has joined #ocaml

22:39 Inline has joined #ocaml

22:42 alfiee has quit [Ping timeout: 252 seconds]

23:13 Inline has quit [Ping timeout: 246 seconds]

23:14 bartholin has quit [Quit: Leaving]

23:27 alfiee has joined #ocaml

23:27 rgrinberg has joined #ocaml

23:31 alfiee has quit [Ping timeout: 276 seconds]

23:33 Inline has joined #ocaml

23:34 erdem has joined #ocaml

23:50 YuGiOhJCJ has joined #ocaml