Go suy luận kiểu ở ba tầng: từ đối số, qua tham số hàm func(T)U, và constraint type inference (từ S ~[]E suy ra E). Đo thật trong Go 1.23 cả trường hợp suy được lẫn khi compiler báo cannot infer T — và tại sao nó không bao giờ đoán mò.
Hàm sinh đầu ra lớn (báo cáo, HTML, JSON, mã sinh) khó viết assertion bằng tay. Golden file lưu đầu ra kỳ vọng vào một tệp, test so từng byte; đổi có chủ đích thì chạy -update ghi lại. Đo thật trong Go: sinh golden, so pass, đổi code thì test bắt khác biệt kèm diff, và -update chấp nhận thay đổi.
Generics của Go dùng GC shape stenciling: kiểu giá trị sinh mã riêng, mọi con trỏ chung một stencil và phân biệt bằng dictionary lúc chạy. Đo thật trong Go 1.23 bằng benchmark bốn đường thực thi và soi bảng ký hiệu — 4 kiểu chỉ sinh 3 bản mã, generic method nhanh gần gấp đôi interface.
Từ Go 1.23, for range chạy được trên hàm func(yield func(T) bool). Đo thật cơ chế yield, cách compiler khử đường break/continue/return, và cái giá thật: chậm hơn vòng thường khoảng 1,6 lần nhưng 0 cấp phát khi dùng trực tiếp.
Package iter chuẩn hoá iterator bằng hai kiểu Seq và Seq2, liên thông với slices và maps. Đo thật trong Go 1.23: for range trên iter.Seq chạy 0 cấp phát, còn iter.Pull đảo push thành pull đắt gấp ~92 lần vì dựng một coroutine.
//go:embed nhúng tệp tĩnh thẳng vào binary dưới ba dạng: string, []byte và embed.FS. Đo thật trong Go 1.23: embed lưu thô không nén (1 MB tệp làm binary tăng đúng 1 MB), nhưng đọc nhanh hơn đĩa khoảng 1,7 lần vì không syscall và nằm sẵn trong RAM.