On Mon, May 16, 2022 at 3:24 AM 'Axel Wagner' via golang-nuts <golang-nuts@googlegroups.com> wrote: > > 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. 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.
Thanks! Great writeup. I was always sure that it was hard, but it's nice to see a convincing argument. Ian -- 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/CAOyqgcVSsBdm_5OGDgEMKRYgQRB8YJr5dW7nLL-m8Mzhk57jjA%40mail.gmail.com.
