07:01 <discocaml> <infrno2609> Is ocaml and haskell similar ?

07:51 <dh`> yes and no

07:51 <dh`> in what ways are you thinking of?

08:39 <discocaml> <gooby_clown> Similar in fundamentals: algebraic datatypes, functions fundamental, could compare syntax

08:39 <discocaml> <gooby_clown> Different in other features: Haskell has typeclasses, good amount of extensions, purity etc. OCaml has modules, subtyping, mutation, OOP etc.

10:13 <discocaml> <darrenldl> ugh, duckduckgo is flooded by the fake ocamlwiki results

10:21 <discocaml> <darrenldl> welp, at least it's self contained enough for now for a site exclusion filter to work

13:57 <discocaml> <deepspacejohn> ocamlwiki triggers my work computer's antivirus software now.

14:35 <greenbagels> Is it that bad

14:35 <greenbagels> Oh god it is

18:14 <companion_cube> omg another round of menhir fucking up my CI builds

18:14 <companion_cube> so tired of that

18:14 <companion_cube> wake up, gitlab.inria.fr

18:47 <companion_cube> this makes me so mad, I don't want to use anything by fpottier just because of that now

19:01 <greenbagels> companion_cube: out of spite? :p

19:08 <tremon> does anyone know the correct incantation to disable dune's sandboxing for a foreign build? the obvious (deps (sandbox none) (source_tree mydir)) still results in write errors

19:13 <companion_cube> greenbagels: no, because it's the packages that break regularly

19:14 <greenbagels> companion_cube: ah

19:20 <discocaml> <__muffin> The module / type class split interests me a lot

19:21 <discocaml> <__muffin> Are there many people who have a strong preference for modules over type classes? I haven’t heard any super compelling arguments for modules

19:25 <discocaml> <__muffin> In the code I write I find myself wanting type classes but I know there are people like graydon hoare that like ML modules, but I feel like doing anything with modules is a little more verbose than an equivalent type class implementation

19:30 <companion_cube> at this point I might prefer typeclasses, but it's 30y too late

19:39 <discocaml> <gooby_clown> Well firstly, personally I don't see the module/typeclass duality (I don't know if there is anything preventing them from coexisting?), since they serve different purposes. I really like modules as a code organisation tool, they are very disciplined and flexible. Typeclasses are nice but I don't find myself desiring ad-hoc polymorphism often, if anything sometimes I'm glad they are not there, especially when I see Haskell code full of type

20:10 <discocaml> <contextfreebeer> have you read this? https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/

20:12 <discocaml> <contextfreebeer> here's another blogpost that talks about this one and elaborates on the points a lot more https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html

20:59 <greenbagels> unless im misunderstanding something, wouldn't the typeclass analogy in ocaml have to include not just modules but functors?