В хуяскеле вполне себе утиная типизация с тупеклассами, например.
В оцамловых объектах тоже утиная типизация, которая, в отличие от сраных рубей, проеряется при компиляции.
Не понимаю, чего тут стесняться.
@kurkuma Тебе смешно, а аргументация в разговорах с лавашиками и прочими лямирками за языки программирования другой логики не наблюдается.
Я, блядь, даже не знаю, кто хуже — тупой похапист с синдромом утенка или вот это вот.
@komar Тупой похапист лучше же, его можно обнять, приласкать, он будет по тебе скучать, ждать дома с работы и сворачиваться клубочком прямо у тебя на коленках :3
@l29ah Бля, сколько проблем, нет чтобы сделать все просто, как в жаваскрипте. Навыдумывают себе костылей для сраки, потом героически заталкивают геморройные шишки взад.
@l29ah duck typing is a style of typing in which an object's methods and properties determine the valid semantics, rather than its inheritance from a particular class or implementation of a specific interface.
@komar На самом деле нет: если у нас произвольный тип α, который крякает как Eq — то он (в контексте использования) и есть Eq, тупо похуй на все эти ваши якобы наследования.
Причём часть про implementation of a specific interface совершенно нерелевантна, поскольку α может быть на самом деле всего лишь instance Doge, но (в совершенно другом месте, далеко-далеко от определения α) есть некий другой instance (Doge d) => Eq d — и вуаля such duck very wow
@ulidtko Ну там английскими буквами написано, что если методы-объекты, то дук туйпинг, а если наследование-хуедование, то православно. Как переть против такого определения?