I am neither enough of a Go expert ("yet) - I hope) or good enough in real
math to say much apart from that is actually one of the clearest
explanations of P/NP problems and the actual meaning of CNF/DNF that I have
had the pleasure to read. Even setting aside the importance to the design
decisions for Go 1.18, it actually made sense of things I have struggled in
the past to "get".\
Thanks.
On Monday, 16 May 2022 at 11:24:22 UTC+1 axel.wa...@googlemail.com wrote:
> Hi,
>
> I thought you might be interested in a new blog post I just published,
> about the difficulties of proving that a type set is empty:
> https://blog.merovius.de/posts/2022-05-16-calculating-type-sets/
> It is based on a problem that came up when the notion of type sets was
> proposed
> <https://github.com/golang/go/issues/45346#issuecomment-813639125>. It
> came up a couple of times lately in discussions about changing the generics
> design, so I thought it might be good to do a clean writeup.
>
> Let me know what you think.
>
--
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/a2dd523a-56c4-4bfb-99e2-7245a708a578n%40googlegroups.com.
