On Thu, Jan 6, 2022 at 9:14 PM Brian Candler <b.cand...@pobox.com> wrote:
> Is that necessarily true? The spec appears to have an example where the
> specific types are a superset of the type set:
>
> -----
> Examples of interfaces with their specific types:
> ...
> interface{ int; m() } // int (but type set is empty because int has no
> method m)
> -----
>
You are right. I don't think the foundational argument is touched by that,
as the type set is only smaller because it is shrunken down by methods,
which are considered separately (interface types with method sets can't
appear in unions).
Or maybe it is. TBQH, I did quite a lot of thinking about this topic a
while back (when type sets where first proposed) and I was kind of hoping
to be done with all of that. In fact, this is the first time I really tried
reading the new parts of the spec and I feel re-affirmed in my belief that
the effort we have to go through (both in terms of the room it takes up in
the spec and the amount of effort we invest in trying to figure out if what
we are doing is right) just to make operators work is not really
commensurate with the benefit.
> --
> You received this message because you are subscribed to the Google Groups
> "golang-nuts" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to golang-nuts+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/golang-nuts/c511e7f6-2ce3-4c69-af9c-50da95571837n%40googlegroups.com
> <https://groups.google.com/d/msgid/golang-nuts/c511e7f6-2ce3-4c69-af9c-50da95571837n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to golang-nuts+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/golang-nuts/CAEkBMfGSQWxpdWg21vMdcaRPLMvPB2jX2OHdXAgc0r0VSArLyg%40mail.gmail.com.
