В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

dlang.ru

167 membersпожаловаться на группу
2021 January 13

OB

Oleg B in dlang.ru
Dark Hole
Конкретику
в некоторых языках есть такая история, что ты не шаблонный метод делаешь а указываешь некоторый класс типов, которые может принимать метод, например
void foo(Number)(Number x)
в D этот Number ничего не значит, а например в эквивалентом синтаксисе хаскеля для Num будет проверяться наличие методов сложения/вычитания и тд
источник
19:04пожаловаться#1

OB

Oleg B in dlang.ru
000Sanya
Вот именно что мы можем проверить, но мы от этого не узнаем, тот ли смысл у метода
выглядит как утка, крякает как утка, значит утка
источник
19:04пожаловаться#2

OB

Oleg B in dlang.ru
duck typing как оно есть
источник
19:04пожаловаться#3

OB

Oleg B in dlang.ru
000Sanya
Вот именно что мы можем проверить, но мы от этого не узнаем, тот ли смысл у метода
ну а иначе, ты привязываешься к иерархии наследования (имплементации) некоторого интерфейса и мы приходим к ООП
источник
19:05пожаловаться#4

0

000Sanya in dlang.ru
Ну это и плохо, если автор не подразумевал такое использование метода
источник
19:05пожаловаться#5

0

000Sanya in dlang.ru
Oleg B
ну а иначе, ты привязываешься к иерархии наследования (имплементации) некоторого интерфейса и мы приходим к ООП
Отличие тайпклассов в том, что их можно реализовать со стороны
источник
19:05пожаловаться#6

OB

Oleg B in dlang.ru
000Sanya
Ну это и плохо, если автор не подразумевал такое использование метода
интересно... а как ты проверишь статически во время компиляции намерения автора метода?
источник
19:06пожаловаться#7

OB

Oleg B in dlang.ru
000Sanya
Отличие тайпклассов в том, что их можно реализовать со стороны
что это значит?
источник
19:06пожаловаться#8

OB

Oleg B in dlang.ru
"со стороны" именно
источник
19:06пожаловаться#9

0

000Sanya in dlang.ru
Oleg B
что это значит?
Точнее так, за тайпклассы не ручаюсь
источник
19:06пожаловаться#10

0

000Sanya in dlang.ru
Но как в расте
источник
19:06пожаловаться#11

0

000Sanya in dlang.ru
Трейты реализуются отдельно от типа
источник
19:07пожаловаться#12

DH

Dark Hole in dlang.ru
000Sanya
Отличие тайпклассов в том, что их можно реализовать со стороны
И хорошо если автор просто не указал что его можно так использовать
источник
19:07пожаловаться#13

0

000Sanya in dlang.ru
Да, тайпклассы тоже реализуют явно
источник
19:09пожаловаться#14

0

000Sanya in dlang.ru
То есть отличие от интерфейса в том, что реализация трейта(тайпкласса) может находиться вообще в другом коде
источник
19:10пожаловаться#15

0

000Sanya in dlang.ru
Но она должна быть
источник
19:10пожаловаться#16

0

000Sanya in dlang.ru
А это нас защитит от того, что мы можем получить не утку
источник
19:11пожаловаться#17

DH

Dark Hole in dlang.ru
Предвижу проблемы
источник
19:12пожаловаться#18

DH

Dark Hole in dlang.ru
Например с вольдеморт типами
источник
19:12пожаловаться#19

0

000Sanya in dlang.ru
Dark Hole
Например с вольдеморт типами
Ну я их не очень люблю, ибо мы тогда не можем сказать что возвращаем
источник
19:12пожаловаться#20