00:14 <companion_cube> pretty weird, "Thread <n> killed on uncaught exception" doesn't seem to print backtraces :(

07:51 <discocaml> <gooby_diatonic> F# is funny, you can add static methods to sums 🤣

09:35 <discocaml> <adamjrios> Now, I am looking for a reliable collaborator who can assist me. If you are based in Europe, North America, or South America and are interested in a part-time or remote job, please contact me as soon as possible.

09:36 <discocaml> <darrenldl> @admin ^ adamjrios

09:50 <discocaml> <gooby_diatonic> How dare these spammers desecrate the holy camel lands 😠

09:56 <discocaml> <kinokasai> oh no I almost fell for it

14:35 <discocaml> <yawaramin> you mean instance methods?

19:19 <discocaml> <barconstruction> I'd certainly be happy to be wrong about this. This page contains a simple example of an abstract data type, a "dirty string". https://okmij.org/ftp/Computation/lightweight-static-guarantees.html#dirty-string

19:19 <discocaml> <barconstruction> I tried to use F# to implement this and I was flummoxed.

19:19 <discocaml> <barconstruction> If you can find 20 or 30 minutes this weekend to implement the dirty string module using F# I would find it very illuminating.

19:23 <discocaml> <yawaramin> that looks fairly trivial to port to F# with an interface file

19:51 <discocaml> <barconstruction> I'll give it another shot and let you know if I have trouble. I might have had obstacles before because I was trying to enforce boundaries within the same file and fsi boundaries are between files.

19:57 <discocaml> <barconstruction> The first problem i'm running into is that F# distinguishes between type "abbreviations" like `type abc = int * string` and type "definitions", e.g. variant types. A type abbreviation cannot be hidden by a signature. That's a little annoying, that we have to pay a runtime cost for hiding the fact that a string is a string by putting it inside a variant.

20:02 <discocaml> <yawaramin> see also https://gist.github.com/yawaramin/552c25a23549f15556d54954e39f946d

20:02 <discocaml> <barconstruction> `type abc = int -> string` is also an "abbreviation" rather than a "definition" so that also has to be wrapped in a variant I guess

20:06 <discocaml> <barconstruction> I think that the "private" keyword is meaningless when used with type abbreviations which is also unfortunate. Only "defined" types such as records and variants can be marked private, the F# compiler ignores this annotation for type abbreviations

20:06 <discocaml> <yawaramin> can unbox it with `[<Struct>]` i think

20:07 <discocaml> <barconstruction> That's helpful

20:07 <discocaml> <yawaramin> like OCaml's `@@unboxed`

20:15 <discocaml> <barconstruction> Do you know the syntax to annotate a type in an fsi file as being a value type? I tried `struct dirty_string` and `[<Struct>] type dirty_string`

20:16 <discocaml> <barconstruction> In the fsi file if I write `type dirty_string` it expects a normal type in the implementation not a value type

20:17 <discocaml> <alyxshang> When did the desecration happen?

21:28 <discocaml> <._null._> Usually no more than a minute before admin gets pinged

21:47 <discocaml> <alyxshang> What even happened????