00:06 <dh`> that is definitely not true

00:06 <dh`> at least for the separate compilation and abstraction part of the story

01:06 <companion_cube> still entirely unrelated

01:06 <companion_cube> headers are copy pasta with macros

01:06 <companion_cube> .mli are actual module signatures

01:27 <sleepydog> I would be so happy if C had a module system

02:05 <companion_cube> => zig

02:05 <companion_cube> (or any other language not stuck in 1970)

04:51 <dh`> a nonabusive subset of what's possible with header files is exactly module signatures

04:55 <companion_cube> and what use and misuse did we learn from the nonabusive subset?

04:57 <dh`> well, speaking of copypasta, that having to paste type definitions into both the module and interface files is unnecessary

05:03 <dh`> but also, that abstract types are widely useful in the field

08:44 <d_bot> <.kodwx> there is a shortcut to generate .mli from .ml in vscode, I forgot it sadly...

08:44 <d_bot> <.kodwx> can anyone tell me?

09:42 <d_bot> <darrenldl> wonder if there will eventually be a fuzzing cluster for ocaml projects

09:45 <d_bot> <darrenldl> @Rhaenys https://discuss.ocaml.org/t/how-can-i-generate-mli-files-from-ml-files/5427/11 seems related?

09:45 <d_bot> <darrenldl> "The feature is called ‘Switch implementation/interface’. The naming is slightly misleading, it will generate a new file containing the interface for you if it doesn’t already exist."

10:08 <d_bot> <.kodwx> yes, but there was a shortcut as well...

10:09 <d_bot> <.kodwx> it worked even when the .mli already exists

10:10 <d_bot> <.kodwx> it just pasted the interface once again in the .mli without disturbing the existing interface and/or comments

10:12 <d_bot> <darrenldl> huh

12:47 <d_bot> <Butanium (@me on reply)> https://cdn.discordapp.com/attachments/436568060288172044/982626753916854292/unknown.png

15:08 <d_bot> <RC> https://tenor.com/view/fiert%C3%A9-franglais-bilingue-anglais-bad-english-gif-14261085

15:08 <d_bot> <RC> Be proud of you because you can be what we want to do.

15:08 <d_bot> <RC> https://tenor.com/view/just-do-it-shia-la-beouf-do-it-gif-4531935

15:10 <d_bot> <RC> @[LrnDev]Sliver @Albert @ahabhgk

15:10 <d_bot> <RC> Yesterday you said tomorrow.

16:26 <d_bot> <Butanium (@me on reply)> ?

16:52 <d_bot> <Butanium (@me on reply)> Stdlib.List.map isn't tail recursive right ?

16:52 <d_bot> <Butanium (@me on reply)> | a::l -> let r = f a in r :: map f l

16:52 <d_bot> <Butanium (@me on reply)> https://github.com/lucasaiu/ocaml/blob/323378a510bda2abd463cfa1888deb9a965e9e87/stdlib/list.ml#L57

16:54 <d_bot> <Butanium (@me on reply)> (maybe a repost for IRC but I deleted my older discord message)

16:54 <d_bot> <Butanium (@me on reply)> Why isn't stdlib.List.map tail recursive ? https://github.com/ocaml/ocaml/blob/0741d0c017da9bdfd8eb027f98f549589ec0d8ff/stdlib/list.ml#L90

17:10 <d_bot> <octachron> Because naive tailrec map implementations are slower than the non-tailrec one. And there is also the issue that if you getting close to your stack limit, you probably don't want to use a list in term of efficiency. Even more so, in OCaml 5, where the default stack size would be decent for a functional language. Of course, the correct solution since 4.14 is to define a tmc version.

17:11 <d_bot> <Butanium (@me on reply)> OCaml 5 will have a bigger stack limit ?

17:12 <d_bot> <Nalin Ranjan> "tmc" ... what is that ?

17:12 <d_bot> <Butanium (@me on reply)> Also I noticed something weird : here brackets are missings

17:12 <d_bot> <Butanium (@me on reply)> https://cdn.discordapp.com/attachments/436568060288172044/982693343966421002/unknown.png

17:12 <d_bot> <Butanium (@me on reply)> while they are in the .mli : https://github.com/ocaml/ocaml/blob/0741d0c017da9bdfd8eb027f98f549589ec0d8ff/stdlib/list.mli#L93

17:13 <d_bot> <Butanium (@me on reply)> ```ocaml

17:13 <d_bot> <Butanium (@me on reply)> val init : int -> (int -> 'a) -> 'a list

17:13 <d_bot> <Butanium (@me on reply)> (** [init len f] is [[f 0; f 1; ...; f (len-1)]], evaluated left to right.

17:13 <d_bot> <Butanium (@me on reply)> @raise Invalid_argument if [len < 0].

17:13 <d_bot> <Butanium (@me on reply)> @since 4.06.0

17:13 <d_bot> <Butanium (@me on reply)> *)

17:13 <d_bot> <Butanium (@me on reply)> ```

17:24 <d_bot> <octachron> https://v2.ocaml.org/manual/tail_mod_cons.html

17:34 <d_bot> <Nalin Ranjan> Thank You.. !!!🙏

20:07 <d_bot> <RC> I have issues with my brain

20:08 <d_bot> <RC> https://tenor.com/view/stalin-soviet-gulag-happy-stalin-dancing-stalin-gif-22030464