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/CAEkBMfHh%3DM3iMbkS3EUOEObwe_bhGPwakt%2BnCyXdrdk6qYne4Q%40mail.gmail.com.
