AZ
оно работает для интерфейсов но не для реализаций
Size: a a a
2020 August 14
CD
концепт это аналог тайпкласов
нет, иерархия тайпклассов задана жестко
DF
Концепт это просто refinement type
AZ
нет, иерархия тайпклассов задана жестко
да нет же
DF
Точнее refinement macro
DF
Собственно потому и определена содержимым, что это не тип
KR
Кек, а type -> define -> refine забавно работает в расте:
описываем трейтом желаемы предикат -> имплементим базу индукции -> имплементим шаг индукции и видим, что предикат недостаточно уточнён для сходимости типов -> уточняем трейт доп. баундами/ассоц. типами -> имплементим шаг индукции -> вуху, тайплевел рекурсия отрабатывает на ура!
описываем трейтом желаемы предикат -> имплементим базу индукции -> имплементим шаг индукции и видим, что предикат недостаточно уточнён для сходимости типов -> уточняем трейт доп. баундами/ассоц. типами -> имплементим шаг индукции -> вуху, тайплевел рекурсия отрабатывает на ура!
DF
Все равно Клапауций говорит что из АТС проще сделать нормальный язык чем из раста кек
AZ
Кек, а type -> define -> refine забавно работает в расте:
описываем трейтом желаемы предикат -> имплементим базу индукции -> имплементим шаг индукции и видим, что предикат недостаточно уточнён для сходимости типов -> уточняем трейт доп. баундами/ассоц. типами -> имплементим шаг индукции -> вуху, тайплевел рекурсия отрабатывает на ура!
описываем трейтом желаемы предикат -> имплементим базу индукции -> имплементим шаг индукции и видим, что предикат недостаточно уточнён для сходимости типов -> уточняем трейт доп. баундами/ассоц. типами -> имплементим шаг индукции -> вуху, тайплевел рекурсия отрабатывает на ура!
оно работает в любом статически типизированном япе
AZ
вопрос только в успешности и выразительности
Т8
а где у него там пукан рвет?
у кого?
Т8
Царю невозможно подорвать зад
Т8
я видел его комменты на опеннете и на лоре
Т8
это реально охуенно. И @DogeShibu не случайно заценил
Т8
весь оффтопик должен быть за царя
я сначала не понял, думал, шизик какой-то. А потом вдумался, что он говорит, реально охуенно. Может, где-то не прав, где-то криво выражается, но он отнюдь не дурак
SP
Т-34 85
Царю невозможно подорвать зад
что подорвано подорвать не может
SP
да царя любят даже не кодерки. у меня знакомые которые просто зачитываются и разносят по цитатам все эти СОБАКА БЛЕЕТ
Т8
что подорвано подорвать не может
не-не, царь велик, его так просто не подорвать
SP
врал, воровал но все равно обгадился
SP
царь придумал универсальный язык дискуссий с запартышами