08:41 <prgbln> is there a way to go from .cmm to bytecode or native code?

08:46 <Anarchos> prgbln how do you generate your .cmm files ?

08:52 <prgbln> Anarchos: ocamlopt -dcmm -c file.ml

08:52 <Anarchos> prgbln let me test.

08:53 <Anarchos> prgbln it also generate the .cmx .cmi .o file

08:54 <prgbln> working on a sort of puzzle where i'm only given the .cmm and have to figure out what it does, was hoping to do it more efficiently than reading the whole thing :)

08:58 <Anarchos> .cmm is just a dump of an intermediate compilation step

08:58 <Anarchos> if you don't have the source or try to steal other's source code, you're screwed :)

09:00 <prgbln> it's somewhat readable, thanks, will go back to it

14:39 <discocaml> <kakadu18> Folks, do you know a straightforward library to check emptyness of intersection of two regular languages? It looks like finding one, is much harder than I thought....

14:44 <discocaml> <kakadu18> For now, it looks like the right choice is to extend https://github.com/yallop/ocaml-re-nfa . Or Re...

16:39 <discocaml> <contextfreebeer> or you could try to extract https://github.com/coq-community/reglang to OCaml, it allows you to ask this question directly

16:41 <discocaml> <contextfreebeer> Looks that way anyway, I haven't used it. It has intersection of regular languages defined

18:57 <discocaml> <yallop7662> Another option is to extend https://github.com/yallop/ocaml-reex, which supports intersection. (Despite the README, the core reex package works with standard OCaml; it doesn't require MetaOCaml)

21:01 <discocaml> <limp.biskit> anmonteiro fixes everything

21:51 <discocaml> <barconstruction> What are some good examples of things you can do with modules and functors which are not as natural to do with Java/C# OOP with interfaces and classes?

21:51 <discocaml> <barconstruction>

21:51 <discocaml> <barconstruction> There's a discussion here - https://www.reddit.com/r/ProgrammingLanguages/comments/mee6zy/ocaml_modules_vs_cjava_oop/

21:51 <discocaml> <barconstruction> but just wondering if anyone has something to contribute along the same lines

22:41 <discocaml> <regularspatula> I feel like I read something about this topic on ocaml discuss a while back, but I can't seem to find it again

23:29 <discocaml> <leviroth> https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html