15:58 <zebrag[m]> I've seen very limited interaction on this forum lately. Should the discord place be preferred?

16:03 <companion_cube> not necessarily :p

16:03 <companion_cube> I mean it is sad that the bridge broke

16:11 <zebrag[m]> "translating" haskell snippets into ocaml, I get some "The type constructor $0 would escape its scope": I sort of know how to fix it, but I still struggle to understand why.

16:11 <zebrag[m]> Also, what is the $0 notation for type here?

16:11 <zebrag[m]> (the context is gadts)

16:20 <zebrag[m]> companion_cube discord is a bit cumbersome because it's proprietary. Haskell recently has setup a whole matrix.org-space thing, allowing for a diversity of rooms, similar to how it's organised on discord, but not proprietary. NixOS has done the same too.

16:30 <zebrag[m]> https://github.com/ocaml-ppx/ocamlformat/issues/54: what if instead, I want the notation "let h = fun (type v) -> fun (x: v) -> (() : unit)" to be preserved?

16:38 <octachron> zebrag[m], the nomenclature is explained here, https://v2.ocaml.org/manual/gadts-tutorial.html#s%3Aexistential-names

16:41 <companion_cube> zebrag[m]: I don't particularly care for discord, but well, people use it

16:41 <companion_cube> bridges are good imho

16:54 <zebrag[m]> octachron "First, types whose name starts with a $ are existentials." cool, thanks