00:39 <Fardale> Domains looks easy to use, for the effect, I haven't looked at it yet.

04:56 <Anarchos> [ERROR] Could not synchronize /boot/home/.opam/4.14.0+trunk/.opam-switch/sources/ocaml-variants.4.14.0+trunk from "git+file:///Data1/INFORMATIQUE/OCAML/ocaml#4.14": Git repository seems just initialized, try again after your first commit [ERROR] Failed to get sources of ocaml-variants.4.14.0+trunk: git+file:///Data1/INFORMATIQUE/OCAML/ocaml#4.14. WHY ???????

10:43 <toastal> > The current implementation also recognizes as letters some characters from the ISO 8859-1 set (characters 192–214 and 216–222 as uppercase letters; characters 223–246 and 248–255 as lowercase letters). This feature is deprecated and should be avoided for future compatibility.

10:43 <toastal> Why though? What's wrong with other languages?

13:43 <companion_cube> It's not obvious how to allow any language

13:43 <companion_cube> I thought it was just a choice but OCaml has semantic case (constructors, modules start with capital) and not all languages have that

16:56 <toastal> companion_cube: PureScript has a bicameral limit, meaning lower case vs. upper case are used to identitfy, but they can be _any_ script that supports that. You can write in Greek like a math paper, or Georgian, or Cyrillic. It opens up accessibity to those users coming from those languages as well. It feels a bit myopic to cut out accent characters and other scripts, but I'm trying to understand whyt.

16:56 <companion_cube> It's not a question of removing

16:57 <companion_cube> It's a question of explicitly adding, and all that that entails

16:57 <companion_cube> Iso 8859-1 is here because of legacy reasons in the 1990s, not because it's special

16:59 <Armael> I think the idea is to first remove the special case of iso8859-1 to be able to properly add later wider unicode support (the details of which are still to be discussed fully as companion_cube point out)

17:01 <companion_cube> For other languages I suggest that constructors are explicitly starting with 🧑‍🔧

17:19 <toastal> lol I mean why not. I run into kids here that don't speak English and just can't get into programming because a) there are so few resources in their native language b) they need to understand English too c) many languages don't even support their script if they wanted to do teaching