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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

801 membersпожаловаться на группу
2020 January 28

AT

Alexander Tchitchigin in Compiler Development
Oleg Morozov
сабтайпинг для меня больше ассоциируется с underlying types
типа как в Go
где ты можешь сделать именованный int, и он будет относится  именно к интам и ничему больше
Это type aliases. 😊
источник
15:51пожаловаться#1

M

MaxGraey in Compiler Development
Andrei Kurosh
@maxgraey вроде как AssemblyScript должен такое уметь?
Нет, пока нет, но Crystal вроде умеет
источник
15:51пожаловаться#2

МБ

Михаил Бахтерев in Compiler Development
Alexander Vershilov
Мне кажется, мне придётся явно передавать тот A, что я захочу?
Придётся
источник
15:52пожаловаться#3

А

Алексей in Compiler Development
Алексей
придётся объект передавать тогда
тогда вообще смысл? легче сразу дефолт передать и ввсё
источник
15:52пожаловаться#4

AV

Alexander Vershilov in Compiler Development
Михаил Бахтерев
Придётся
Тогда согласимся, что разница между интерфейсами и классами типов проходит по этой линии? )
источник
15:52пожаловаться#5

AK

Andrei Kurosh in Compiler Development
MaxGraey
Нет, пока нет, но Crystal вроде умеет
А планируется? Т.е. получается что у вас не структурная, а номинальная типизация?
источник
15:53пожаловаться#6

МБ

Михаил Бахтерев in Compiler Development
Alexander Vershilov
Тогда согласимся, что разница между интерфейсами и классами типов проходит по этой линии? )
Ok
источник
15:53пожаловаться#7

M

MaxGraey in Compiler Development
Andrei Kurosh
А планируется? Т.е. получается что у вас не структурная, а номинальная типизация?
Планируется, но пока есть хадачи по-насущнее. А пока да, все номинальное
источник
15:54пожаловаться#8

DP

Dmitry Ponyatov in Compiler Development
Oleg Morozov
да, это естественно
но это уже детали реализации

тут можно идти двумя путями, либо при вызове кастовать типы c копированием
либо компилировать функции под каждый новый тип с другими оффсетами, но это сломает весь ABI, будет килотонна таких функций
В OCaml похоже на tagged union тип, в функции матчить
источник
15:54пожаловаться#9

M

MaxGraey in Compiler Development
но вообще да, это через taggad unions можно сделать, но придется явно матчить
источник
15:56пожаловаться#10

OM

Oleg Morozov in Compiler Development
Alexander Tchitchigin
Это type aliases. 😊
да, я уже почитал подробнее
источник
15:59пожаловаться#11

AT

Alexander Tchitchigin in Compiler Development
Dmitry Ponyatov
В OCaml похоже на tagged union тип, в функции матчить
В OCaml есть объекты со структурной подтипизацией.
источник
16:02пожаловаться#12

DP

Dmitry Ponyatov in Compiler Development
Alexander Tchitchigin
В OCaml есть объекты со структурной подтипизацией.
сомнительное свойство, типа утиная типизация по набору полей данных
источник
16:18пожаловаться#13

AT

Alexander Tchitchigin in Compiler Development
Dmitry Ponyatov
сомнительное свойство, типа утиная типизация по набору полей данных
При наличии строгой статической проверки - норм. 😃
источник
16:19пожаловаться#14

E

Eugene in Compiler Development
лучше объясните как классы типов через GADT выразить...
источник
16:54пожаловаться#15

AT

Alexander Tchitchigin in Compiler Development
Eugene
лучше объясните как классы типов через GADT выразить...
Э-ээ... Никак?
источник
16:55пожаловаться#16

E

Eugene in Compiler Development
Alexander Tchitchigin
Э-ээ... Никак?
а я слышал что типа это возможно... о_О зх ((
источник
16:55пожаловаться#17

AV

Alexander Vershilov in Compiler Development
Вот я к тому же склоняюсь, кажется получить когерентность нельзя
источник
16:55пожаловаться#18

AV

Alexander Vershilov in Compiler Development
Да и автоматическое нахождение словарика
источник
16:56пожаловаться#19

AT

Alexander Tchitchigin in Compiler Development
Eugene
а я слышал что типа это возможно... о_О зх ((
Разве что тупо руками всё рассахарить и принимать/передавать словари куда надо, но для этого и GADT не нужны - можно хоть на C зафигачить... 🤷‍♀️
источник
16:58пожаловаться#20