Где расходятся то?

Утиная - это номинальная или стурктурная?

Ни та и ни та

То есть они пересекаются?

Что?

чот опять всё смешалось, и ладно бы вы про какие-то значимые различия разговаривали.

алсо,

C++ is an interesting hybrid, actually. At a base level, C++ is nominatively typed--two classes with different names are not considered equivalent; and subtyping must be explicitly declared (via inheritance). However, the template system uses structural typing--any type can be an argument to any template; and the compiler won't complain unless a particular instantiation of a template is incompatible with its declaration. (See LatentTypesSmell for more on this). 

https://wiki.c2.com/?NominativeAndStructuralTyping

Ну темплейты это просто умная кодогенерация. Не уверен что темплейтинг можно относить к самому языку, потому что они вообще тьюринг-полные

Я не понимаю почему C++ в википедии объявлен языком с номинальной типизацией и там же объявляется
C++ template functions exhibit structural typing on type arguments.

Вот почему номинальная
https://run.dlang.io/is/wmdp1K

утиная - это некая конкретная рантаймовая структурная.

Типа в скомпилированном коде в D и в C++ будут физически разные функции для разных типов

Шаблоны - это всего лишь способ реализации полиморфизма.

потому что шаблоны - это отдельный язык со своими правилами

утиная ортогональна номинальной и структурной, номинальность/структурность системы типов это характеристика типов данных, а утиная типизация это характеристика интерфейсов, то есть определенных для типа методов

Прочитал и задумался

если я все правильно помню го это номинальный и утиный язык

Ну так ты сделал функцию не полиморфной. Строго типизировал ее.

а какая-нибудь джава это номинальный и не утиный, за отсутствием лучшего термина

Ну так правильно. Только в структурной системе типов поймется что A - подтип B

Даже если ты явно скажешь, что функция принимает только тип B?