00:00 <discocaml> <barconstruction> I sometimes go to the programming language theory seminar at my university and there are a lot of pl researchers orienting in this direction. Makes perfect sense! I'd trust the chatbots a lot more if they could reliably pass a type checker. All you need now is to have them start generating coq code and we are golden

00:01 <discocaml> <barconstruction> I use the Element client which is pretty easy to set up. I'm not big into Matrix or anything but IIRC it didn't give me trouble

00:44 <discocaml> <aeseia> C# Roslyn compiler has incremental generators and analyzers that run realtime with all the other editor compiler tooling

00:45 <discocaml> <aeseia> I thought what if inferencing gets so fast or what if you tried it now that every so often the suggestion would have to pass a type checker to even get suggested

16:51 <discocaml> <yawaramin> `unit` and some other types are defined directly by the compiler, in its typing environment, before it does typechecking: https://github.com/ocaml/ocaml/blob/9bb7929ce61f5cb4457d294f16dee3ee132bc9ef/typing/predef.ml#L86

20:37 <Anarchos> what is the difference between ocamldoc and dodoc ?

20:42 <octachron> If you mean odoc, odoc is actively maintained and has a far better handling of the OCaml module system.

20:44 <Anarchos> octachron yes that's what i discover. And now "opam install ododc" recompile 130 packages because "ocaml-variants 5.2.1+trunk [upstream or system changes]"