#ocaml on 2024-12-28 — 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:04 accordvenom has joined #ocaml

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

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

00:24 accordvenom has joined #ocaml

00:29 accordvenom has quit [Read error: Connection reset by peer]

00:35 accordvenom has joined #ocaml

00:39 accordvenom has quit [Read error: Connection reset by peer]

00:45 accordvenom has joined #ocaml

00:49 accordvenom has quit [Read error: Connection reset by peer]

00:54 accordvenom has joined #ocaml

00:59 accordvenom has quit [Read error: Connection reset by peer]

01:05 accordvenom has joined #ocaml

01:07 trillion_exabyte has quit [Ping timeout: 252 seconds]

01:09 trillion_exabyte has joined #ocaml

01:09 accordvenom has quit [Read error: Connection reset by peer]

01:15 accordvenom has joined #ocaml

01:29 accordvenom has quit [Read error: Connection reset by peer]

01:34 accordvenom has joined #ocaml

01:39 accordvenom has quit [Read error: Connection reset by peer]

01:41 <discocaml_> <poselsky> I managed to get it working manually with manual build and this thread: https://discuss.ocaml.org/t/linking-error-with-external-c-code-in-library/9325/2. I guess I can't use dune for my project unfortunately.

01:45 accordvenom has joined #ocaml

01:49 accordvenom has quit [Read error: Connection reset by peer]

01:55 accordvenom has joined #ocaml

01:59 accordvenom has quit [Read error: Connection reset by peer]

02:04 accordvenom has joined #ocaml

02:07 <discocaml_> <contificate> Is there no way to use a `rule` and/or `ocamlopt_flags` etc.

02:09 accordvenom has quit [Read error: Connection reset by peer]

02:13 mal`` has quit [Quit: Leaving]

02:15 accordvenom has joined #ocaml

02:16 Tuplanolla has quit [Quit: Leaving.]

02:19 accordvenom has quit [Read error: Connection reset by peer]

02:25 accordvenom has joined #ocaml

02:29 accordvenom has quit [Read error: Connection reset by peer]

02:34 accordvenom has joined #ocaml

02:39 accordvenom has quit [Read error: Connection reset by peer]

02:42 mal`` has joined #ocaml

02:45 accordvenom has joined #ocaml

02:49 accordvenom has quit [Read error: Connection reset by peer]

02:50 humasect has joined #ocaml

02:55 accordvenom has joined #ocaml

02:56 humasect has quit [Quit: Leaving...]

02:59 accordvenom has quit [Read error: Connection reset by peer]

03:00 accordvenom has joined #ocaml

03:09 accordvenom has quit [Read error: Connection reset by peer]

03:14 accordvenom has joined #ocaml

03:29 accordvenom has quit [Read error: Connection reset by peer]

03:34 accordvenom has joined #ocaml

03:39 accordvenom has quit [Read error: Connection reset by peer]

03:45 accordvenom has joined #ocaml

03:49 accordvenom has quit [Read error: Connection reset by peer]

03:55 accordvenom has joined #ocaml

04:09 accordvenom has quit [Read error: Connection reset by peer]

04:12 myrkraverk__ has quit [Read error: Connection reset by peer]

04:13 myrkraverk has joined #ocaml

04:14 accordvenom has joined #ocaml

04:19 accordvenom has quit [Read error: Connection reset by peer]

04:24 accordvenom has joined #ocaml

04:34 myrkraverk_ has joined #ocaml

04:35 myrkraverk has quit [Read error: Connection reset by peer]

04:49 accordvenom has quit [Read error: Connection reset by peer]

04:55 accordvenom has joined #ocaml

04:58 myrkraverk has joined #ocaml

05:00 myrkraverk_ has quit [Ping timeout: 252 seconds]

05:09 accordvenom has quit [Read error: Connection reset by peer]

05:15 accordvenom has joined #ocaml

05:19 accordvenom has quit [Read error: Connection reset by peer]

05:25 accordvenom has joined #ocaml

05:27 ygrek has joined #ocaml

05:29 accordvenom has quit [Read error: Connection reset by peer]

05:34 accordvenom has joined #ocaml

05:39 accordvenom has quit [Read error: Connection reset by peer]

05:45 accordvenom has joined #ocaml

05:49 accordvenom has quit [Read error: Connection reset by peer]

05:54 YuGiOhJCJ has quit [Remote host closed the connection]

05:55 accordvenom has joined #ocaml

05:55 YuGiOhJCJ has joined #ocaml

05:56 adrien has quit [Ping timeout: 244 seconds]

05:57 adrien has joined #ocaml

05:58 ygrek has quit [Remote host closed the connection]

06:17 agentcas- has joined #ocaml

06:17 agentcasey has quit [Ping timeout: 265 seconds]

06:19 accordvenom has quit [Read error: Connection reset by peer]

06:25 accordvenom has joined #ocaml

06:26 mbuf has joined #ocaml

06:29 Guest6 has joined #ocaml

06:35 Guest6 has quit [Quit: Client closed]

06:39 accordvenom has quit [Read error: Connection reset by peer]

06:43 mbuf has quit [Remote host closed the connection]

06:44 accordvenom has joined #ocaml

06:49 accordvenom has quit [Read error: Connection reset by peer]

06:55 accordvenom has joined #ocaml

06:59 accordvenom has quit [Read error: Connection reset by peer]

07:05 accordvenom has joined #ocaml

07:09 accordvenom has quit [Read error: Connection reset by peer]

07:14 accordvenom has joined #ocaml

07:19 accordvenom has quit [Read error: Connection reset by peer]

07:25 accordvenom has joined #ocaml

07:29 accordvenom has quit [Read error: Connection reset by peer]

07:35 accordvenom has joined #ocaml

07:39 accordvenom has quit [Read error: Connection reset by peer]

07:44 accordvenom has joined #ocaml

07:49 accordvenom has quit [Read error: Connection reset by peer]

07:55 accordvenom has joined #ocaml

07:59 accordvenom has quit [Read error: Connection reset by peer]

08:05 accordvenom has joined #ocaml

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

08:14 accordvenom has joined #ocaml

08:19 accordvenom has quit [Read error: Connection reset by peer]

08:25 accordvenom has joined #ocaml

08:29 accordvenom has quit [Read error: Connection reset by peer]

08:35 accordvenom has joined #ocaml

08:39 accordvenom has quit [Read error: Connection reset by peer]

08:44 accordvenom has joined #ocaml

08:49 accordvenom has quit [Read error: Connection reset by peer]

08:55 accordvenom has joined #ocaml

08:59 accordvenom has quit [Read error: Connection reset by peer]

09:05 accordvenom has joined #ocaml

09:19 accordvenom has quit [Read error: Connection reset by peer]

09:25 accordvenom has joined #ocaml

09:25 kurfen has quit [Ping timeout: 252 seconds]

09:29 bartholin has joined #ocaml

09:33 YuGiOhJCJ has quit [Quit: YuGiOhJCJ]

09:34 olle has joined #ocaml

09:39 accordvenom has quit [Read error: Connection reset by peer]

09:44 accordvenom has joined #ocaml

09:49 accordvenom has quit [Read error: Connection reset by peer]

09:55 accordvenom has joined #ocaml

09:59 accordvenom has quit [Read error: Connection reset by peer]

10:05 accordvenom has joined #ocaml

10:09 accordvenom has quit [Read error: Connection reset by peer]

10:14 accordvenom has joined #ocaml

10:17 Tuplanolla has joined #ocaml

10:29 accordvenom has quit [Read error: Connection reset by peer]

10:34 accordvenom has joined #ocaml

10:39 accordvenom has quit [Read error: Connection reset by peer]

10:45 accordvenom has joined #ocaml

10:49 accordvenom has quit [Read error: Connection reset by peer]

10:49 Anarchos has joined #ocaml

10:55 accordvenom has joined #ocaml

10:59 accordvenom has quit [Read error: Connection reset by peer]

11:04 accordvenom has joined #ocaml

11:09 accordvenom has quit [Read error: Connection reset by peer]

11:15 accordvenom has joined #ocaml

11:19 accordvenom has quit [Read error: Connection reset by peer]

11:20 accordvenom has joined #ocaml

11:29 accordvenom has quit [Read error: Connection reset by peer]

11:35 accordvenom has joined #ocaml

11:39 accordvenom has quit [Read error: Connection reset by peer]

11:44 accordvenom has joined #ocaml

11:49 accordvenom has quit [Read error: Connection reset by peer]

11:53 rgrinberg has joined #ocaml

11:55 accordvenom has joined #ocaml

11:59 accordvenom has quit [Read error: Connection reset by peer]

12:05 accordvenom has joined #ocaml

12:09 accordvenom has quit [Read error: Connection reset by peer]

12:14 accordvenom has joined #ocaml

12:19 accordvenom has quit [Read error: Connection reset by peer]

12:25 accordvenom has joined #ocaml

12:29 accordvenom has quit [Read error: Connection reset by peer]

12:35 accordvenom has joined #ocaml

12:38 pi3ce has joined #ocaml

12:49 accordvenom has quit [Read error: Connection reset by peer]

12:55 accordvenom has joined #ocaml

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

12:59 accordvenom has quit [Read error: Connection reset by peer]

13:04 accordvenom has joined #ocaml

13:09 accordvenom has quit [Read error: Connection reset by peer]

13:15 accordvenom has joined #ocaml

13:19 accordvenom has quit [Read error: Connection reset by peer]

13:24 accordvenom has joined #ocaml

13:39 accordvenom has quit [Read error: Connection reset by peer]

13:39 accordvenom has joined #ocaml

13:49 accordvenom has quit [Read error: Connection reset by peer]

13:55 accordvenom has joined #ocaml

13:59 accordvenom has quit [Read error: Connection reset by peer]

14:05 accordvenom has joined #ocaml

14:09 accordvenom has quit [Read error: Connection reset by peer]

14:14 accordvenom has joined #ocaml

14:19 accordvenom has quit [Read error: Connection reset by peer]

14:24 rgrinberg has joined #ocaml

14:25 accordvenom has joined #ocaml

14:29 accordvenom has quit [Read error: Connection reset by peer]

14:35 accordvenom has joined #ocaml

14:41 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

14:49 accordvenom has quit [Read error: Connection reset by peer]

14:54 accordvenom has joined #ocaml

15:09 kurfen has joined #ocaml

15:09 accordvenom has quit [Read error: Connection reset by peer]

15:14 accordvenom has joined #ocaml

15:19 accordvenom has quit [Read error: Connection reset by peer]

15:25 accordvenom has joined #ocaml

15:29 accordvenom has quit [Read error: Connection reset by peer]

15:35 accordvenom has joined #ocaml

15:39 accordvenom has quit [Read error: Connection reset by peer]

15:44 accordvenom has joined #ocaml

15:49 accordvenom has quit [Read error: Connection reset by peer]

15:55 accordvenom has joined #ocaml

15:58 olle has quit [Ping timeout: 265 seconds]

15:59 accordvenom has quit [Read error: Connection reset by peer]

16:05 accordvenom has joined #ocaml

16:09 accordvenom has quit [Read error: Connection reset by peer]

16:14 accordvenom has joined #ocaml

16:19 accordvenom has quit [Read error: Connection reset by peer]

16:25 accordvenom has joined #ocaml

16:29 accordvenom has quit [Read error: Connection reset by peer]

16:35 accordvenom has joined #ocaml

16:39 accordvenom has quit [Read error: Connection reset by peer]

16:44 accordvenom has joined #ocaml

16:48 bartholin has quit [Quit: Leaving]

16:49 accordvenom has quit [Read error: Connection reset by peer]

16:55 accordvenom has joined #ocaml

16:59 accordvenom has quit [Read error: Connection reset by peer]

17:05 accordvenom has joined #ocaml

17:05 <discocaml_> <drowningvisions> I'm looking for books or other literature that discuss OCaml's unique design choices and the rationale behind them. Anyone have good recommendations for that?

17:09 <discocaml_> <yawaramin> maybe this keynote talk by its creator? https://watch.ocaml.org/w/tU8wR9EcAcyFHHVcX4GS46

17:19 accordvenom has quit [Read error: Connection reset by peer]

17:25 accordvenom has joined #ocaml

17:31 chrisz has quit [Ping timeout: 265 seconds]

17:37 chrisz has joined #ocaml

17:39 accordvenom has quit [Read error: Connection reset by peer]

17:39 Everything has joined #ocaml

17:39 accordvenom has joined #ocaml

17:49 accordvenom has quit [Read error: Connection reset by peer]

17:54 <dh`> "design choices" is pretty broad

17:55 accordvenom has joined #ocaml

17:59 accordvenom has quit [Read error: Connection reset by peer]

18:05 accordvenom has joined #ocaml

18:06 chrisz has quit [Ping timeout: 244 seconds]

18:09 accordvenom has quit [Read error: Connection reset by peer]

18:13 chrisz has joined #ocaml

18:14 accordvenom has joined #ocaml

18:17 patrick_ is now known as patrick

18:19 accordvenom has quit [Read error: Connection reset by peer]

18:25 accordvenom has joined #ocaml

18:27 <discocaml_> <drowningvisions> Well the language level features that diffferentiate OCaml the most from other languages

18:29 accordvenom has quit [Read error: Connection reset by peer]

18:34 <discocaml_> <leviroth> The thing you have to keep in mind is that Ocaml grew out of other ML dialects, which ultimately grew out of (IIUC) a rather academic language that formed part of a theorem prover.

18:35 accordvenom has joined #ocaml

18:36 <discocaml_> <leviroth> So most of the conscious design decisions of OCaml language features look more like “This is why we’re doing things this way, instead of this slightly different way it’s done in Standard ML.”

18:37 <discocaml_> <leviroth> And less like “This is why we’re departing from the design of C++” or whatever.

18:39 accordvenom has quit [Read error: Connection reset by peer]

18:40 accordvenom has joined #ocaml

18:44 <discocaml_> <leviroth> The earliest papers at https://ocaml.org/papers explain some of the distinctive design decisions, relative to other ML dialects.

18:45 <discocaml_> <yawaramin> and the keynote i linked discusses these decisions as well

18:49 accordvenom has quit [Read error: Connection reset by peer]

18:55 accordvenom has joined #ocaml

18:55 morrymai has joined #ocaml

18:56 <dh`> also the answers to many of the questions you probably have are variously (a) nobody knew how to do it when ML was invented, so somebody made something up; (b) it's the way it is because it got patched and is even more broken in other ML dialects; or sometimes (c) doctrine

19:00 <morrymai> hi guys what were the key takeaways of using OCaml for you and how does it compare to other programming languages you have used or use at the moment?

19:01 Everything has quit [Ping timeout: 252 seconds]

19:03 rgrinberg has joined #ocaml

19:08 <discocaml_> <yawaramin> very fast compiles; interactively exploring projects with the REPL; high quality compiler that catches many errors; powerful and type-safe language that helps model my domain accurately

19:09 accordvenom has quit [Read error: Connection reset by peer]

19:12 <discocaml_> <octachron> One of the best module systems, functional first but multi-paradigm language, a purposefully not-Coq (aka not-proof-oriented) language

19:14 accordvenom has joined #ocaml

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

19:25 accordvenom has joined #ocaml

19:29 accordvenom has quit [Read error: Connection reset by peer]

19:35 accordvenom has joined #ocaml

19:49 accordvenom has quit [Read error: Connection reset by peer]

19:54 accordvenom has joined #ocaml

20:08 <discocaml_> <contificate> There's good papers on module systems. "A Modular Module System" and related papers that differentiate it from SML's

20:09 accordvenom has quit [Read error: Connection reset by peer]

20:14 accordvenom has joined #ocaml

20:14 <discocaml_> <contificate> One day we can convert Le Language Caml to English and OCaml - unironically has one of the best treatments of HM inference. Not related to the language design but a really good book.

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

20:19 accordvenom has quit [Read error: Connection reset by peer]

20:20 germ has joined #ocaml

20:25 accordvenom has joined #ocaml

20:29 accordvenom has quit [Read error: Connection reset by peer]

20:35 accordvenom has joined #ocaml

20:39 accordvenom has quit [Read error: Connection reset by peer]

20:40 accordvenom has joined #ocaml

20:49 accordvenom has quit [Read error: Connection reset by peer]

20:54 accordvenom has joined #ocaml

20:59 accordvenom has quit [Read error: Connection reset by peer]

21:05 accordvenom has joined #ocaml

21:09 accordvenom has quit [Read error: Connection reset by peer]

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

21:15 accordvenom has joined #ocaml

21:25 Everything has joined #ocaml

21:29 accordvenom has quit [Read error: Connection reset by peer]

21:29 accordvenom has joined #ocaml

21:39 accordvenom has quit [Read error: Connection reset by peer]

21:44 accordvenom has joined #ocaml

21:49 accordvenom has quit [Read error: Connection reset by peer]

21:55 accordvenom has joined #ocaml

21:59 accordvenom has quit [Read error: Connection reset by peer]

22:03 rgrinberg has joined #ocaml

22:05 accordvenom has joined #ocaml

22:09 accordvenom has quit [Read error: Connection reset by peer]

22:11 <discocaml_> <pigeon.v> shameless plug (at least for the examples): https://github.com/ghuysmans/le-langage-caml

22:12 morrymai has quit [Read error: Connection reset by peer]

22:14 accordvenom has joined #ocaml

22:19 accordvenom has quit [Read error: Connection reset by peer]

22:23 Anarchos has quit [Quit: Vision[]: i've been blurred!]

22:25 accordvenom has joined #ocaml

22:29 accordvenom has quit [Read error: Connection reset by peer]

22:35 accordvenom has joined #ocaml

22:39 accordvenom has quit [Read error: Connection reset by peer]

22:40 accordvenom has joined #ocaml

22:49 accordvenom has quit [Read error: Connection reset by peer]

22:54 accordvenom has joined #ocaml

23:09 accordvenom has quit [Read error: Connection reset by peer]

23:14 accordvenom has joined #ocaml

23:19 accordvenom has quit [Read error: Connection reset by peer]

23:25 accordvenom has joined #ocaml

23:29 accordvenom has quit [Read error: Connection reset by peer]

23:35 accordvenom has joined #ocaml

23:39 accordvenom has quit [Read error: Connection reset by peer]

23:40 accordvenom has joined #ocaml

23:48 rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]

23:56 gentauro has quit [Read error: Connection reset by peer]

23:59 accordvenom has quit [Read error: Connection reset by peer]