развери. не понятно что ты имел в виду про условные типы.
имел ввиду только то, что го — плохой пример языка со статической типизацией.
просто потому что там ужасная система типов. в ней нет самых лучших возможностей из стат. типизированных языков, но есть громоздкость и бедность