ŹR
И оно скомпилируется
Size: a a a
2021 May 18
AB
почему ты разделяешь "интерфейсы" и "типы данных"?
Aß
потому что в каком нибудь SML вообще нету интерфейсов, но зато есть структурная типизация
AB
но это же не значит, что интерфейсы - не типы данных.
Е
Так понятнее. Да.
Aß
интерфейс гарантированно не является типом данных
Е
Но таки я считаю что шаблоны таки позволяют структурно типизировать параметры.
AB
таки они и позволяют, да.
Aß
интерфейс может быть типом в определенном смысле, но тип данных подразумевает какое-то конкретное размещение в памяти конкретных данных
Е
Короче, судя по интернетам, не существует каких-то формальных определений ни для утиной, ни для структурной, ни для номинальной системы типов. Каждый гнет во что горазд.
Aß
можно спрятать все данные за указателями и тогда у тебя получится Java, где мало смысла проводить такую дихотомию, но в общем случае смысл есть
Е
Но я понял что имел в виду @nwalker говоря о структурной типизации.
По крайней мере я так думаю, что понял.
По крайней мере я так думаю, что понял.
Е
Спорное определение типа данных.
Aß
предложите альтернативное
AB
эм. в эрланге вот два типа строк, с кардинально разным "размещением в памяти конкретных данных", при это оба вполне себе семантически строки, пусть и с разными О() и нюансами, и можно написать кусок кода, которому будет безразлично, которая это из реализаций строк.
Е
Зачем кокнретное размещение конкретных данных? Как же тогда будет работать субтипирование?
AB
то есть, кажется, что типы данных это не контракты на "конкретное размещение в памяти"
Е
Тип Number не подразумевает какое-то определенное хранение определенных данных.
Aß
а может и никак, подтипы это не неотъемлемый атрибут системы типов
Aß
это типы в обывательском смысле, определенный набор контрактов, интерфейсов, функций и т. д.