Go (bahasa pemrograman)

Selain memanggil metode melalui antarmuka, Go memungkinkan mengubah antarmuka nilai-nilai untuk jenis lain dengan run-time type check. Bahasa konstruksi untuk melakukannya adalah "jenis pernyataan", yang memeriksa terhadap satu potensi jenis, dan "jenis switch", yang memeriksa terhadap beberapa jenis.