Телеграмм чат группы dlangru страница 9894

и в этом плюс как по мне

14:07пожаловаться #1

В теории можно генерить этот интерфейс и наследовать от него неявно, КМК.

чую тут извращение

Возможно.

не знаю, имхо надо просто иметь типизированные аст макросы и генерики

14:08пожаловаться #5

кому надо сложное что то - добро пожаловать в макросы, кому не надо - и генериков хватит

14:09пожаловаться #6

примерно так в haxe сделали

14:09пожаловаться #7

хотя они там не совсем типизированные вроде

14:09пожаловаться #8

В общем случае дженерики могут быть как угодно реализованы. в том же Nim дженерики - это упрощенные шаблоны.

14:10пожаловаться #9

А так да. Навороченные шаблоны при наличии нормальных макросов не нужны.

14:10пожаловаться #10

просто шаблоны приносят лишние типы туда, где они не нужны

14:11пожаловаться #11

На самом деле такое легко делается в дишных шаблонах, достаточно потребовать чтобы параметр наследовался от интерфейса.

14:11пожаловаться #12

а можно и не проверять

14:12пожаловаться #13

Просто получается что главное отличие дженериков от шаблонов в общем-то и не отличие, так как шаблонами можно сделать такое же поведение.

14:13пожаловаться #14

можно, но они тебя ни к чему не обязуют

14:14пожаловаться #15

вот в чем отличие

14:14пожаловаться #16

но это имхо

14:14пожаловаться #17

Да даже и так. Шаблоны не позволяют пихать в них все что угодно.

14:15пожаловаться #18

Если не реализовать требуемый интерфейс оно не скомпилируется.

14:16пожаловаться #19

позволяют