r
бля захотел затестить на годболте, он мне выдал тупо ret)
Хм. Я почему-то всегда думал, что лишние выделения памяти не выкидываются. https://godbolt.org/z/Xq5uNA
Size: a a a
2020 May 27
AZ
Темплейты тюринг полные
тьюринг полнота никак не связана с этим
S
А ну да 👍 ,зато утиность с ними связана .ты наверное сьньйор
AZ
именно так
S
Соболезную твоей команде
AZ
вместо того чтобы позориться, пошел бы нашел определение, и проверил формально, попадают темплейты под это или нет
S
Это стоило сделать тебе ,дядя
S
Там нет ни слова про темплейты
KR
но тайпклассы ФП ортогональны, это фишки мощных систем типов
Ну я той фразой подразумевал под "ФП" именно "привычную" систему типов с тайпкласами и ХКТ. Не совсем корректно в плане терминологии, да.
r
Там нет ни слова про темплейты
https://en.wikipedia.org/wiki/Duck_typing секция Templates or generic types
Т8
утиная типизация это маркетинговое название для структурной типизации. А это именно то, чем темплейты являются.
Структурная типизация круче утиной. Она больше чекает
AZ
Т-34 85
Структурная типизация круче утиной. Она больше чекает
это буквально одно и то же
AZ
The best known is the variant of structural typing which considers only what is used instead of the whole type known as duck typing
DS
Большая часть того, что обсуждается в этом чате описывается вот этой картинкой. Только в реальности пересечение синего и красного круга ощутимо меньше.
p
найс, название крейта с большой буквы
p
Большая часть того, что обсуждается в этом чате описывается вот этой картинкой. Только в реальности пересечение синего и красного круга ощутимо меньше.
кому не пофиг на теорию типов?
p
сам говорил что она имеет мало отношения к реальному программированию
Т8
The best known is the variant of structural typing which considers only what is used instead of the whole type known as duck typing
Короче, теперь есть концепты, так что проехали
Т8
сам говорил что она имеет мало отношения к реальному программированию
DS
сам говорил что она имеет мало отношения к реальному программированию
Я говорил ровно противоположное буквально вчера в этом чате. На тему того, что любой хоть сколько-то современный язык (дженерики + сабтайпинг) очень ощутимую базу на теории типов имеет.