Andy Gocke

@kerams My recollection is that warnings _are_ suppressed by default for Android. Could you try setting `SuppressTrimAnalysisWarnings` to `false`?

This discussion has me convinced that people want two different features and are calling both of them "extensions." If you want the thing called "type classes", then the concept of...

@HaloFour You may not be very well versed in type classes but you summarized fairly well. Let me give a quick run down of what problem they're meant to solve,...

I've been thinking about this off and on for while and have broadly come to the conclusion that we need to decide on semantics and declaration forms before we deep...

To elaborate on https://github.com/dotnet/csharplang/issues/7544#issuecomment-1754054048 I think there are a couple problems that crop up in the encoding that lead to important semantic discussions. In particular, @mattwar raised the very good...

> Sorry if I missed it but I wondered what the semantics of 'default' are for enum structs. If such a value makes its way into my system, what constructs...

> > I suspect the answer will be "the first case with default values for each of the types" but there's no good reason why that's the case, it just...

`default` is always unsafe in F#. You should never use it. If you know you're returning an Option, just use `None`.

You're right, if you do `default(Option)` in F#, you get `None`. https://sharplab.io/#v2:EYLgtghglgdgNAGxAMwM5wC4gE4FcYA+AsAFAICmGABAB5UC8VAqjAMYAW5rA1uQCYA6PuWQRcCDAHtkAHgDyABwxRJMGbAwA+TaUgYOtKgHcoGdqQJUAcqvJUAtJqoLsG5FQBEMWx4tUAypJgdlAOTi5ungCkfB5UUEA===

Yeah, that's fair. Tbh, I think the basic approach of, "it's the first one in the case of `default`" is both precise enough that things will work out, but also...