New Post on Type Construction

2026-03-24

I just published a new blog post on type construction and cycle detection in Go. You can find it at go.dev/blog.

The set of expressible Go types is infinite, and Go even allows the declaration of new, user-defined types. Both of these prevent simply enumerating all of the possible types—instead, they must be constructed dynamically.

It’s a deceptively complex process with some interesting nuance—give it a read!