DS
Проблемы только у бедной скалы, где так нельзя просто сделать
Size: a a a
2020 May 15
B
там нет явных конструкторов типа вообще но нсть костыль через type branding
Ну типо я хочу PersonId=number
B
И чтобы оно тайпчекало что я не засуну туда BlogPostId
SP
Ну типо я хочу PersonId=number
ты можешь сделать обьект с тэгом который будет считаться другим типом
DS
> не столь часто нужно
значит у алгебры объектов/finally tagless есть недостатки по отношению АДТ?
значит у алгебры объектов/finally tagless есть недостатки по отношению АДТ?
Реализация иногда может быть сложноватой.
B
Хотяяяя, учитывая что айдишки генерит бекенд, я могу сделать interface PersonId{}
DS
> не столь часто нужно
значит у алгебры объектов/finally tagless есть недостатки по отношению АДТ?
значит у алгебры объектов/finally tagless есть недостатки по отношению АДТ?
Попробуй сделать через final tagless то, чтобы обычно ты разбирал вложенным pattern matching'ом и ужоснись.
DS
Там бывает не оч удобно
B
ты можешь сделать обьект с тэгом который будет считаться другим типом
С тегом?
Ну мне чисто компайлтайм проверочку
Ну мне чисто компайлтайм проверочку
SP
С тегом?
Ну мне чисто компайлтайм проверочку
Ну мне чисто компайлтайм проверочку
оно будет компайлтайм
G
Попробуй сделать через final tagless то, чтобы обычно ты разбирал вложенным pattern matching'ом и ужоснись.
ну вложенный патмат это уже сигнал
G
сигнал разбухания функции
DS
сигнал разбухания функции
Когда ты работаешь с AST, например, это очень удобно.
B
оно будет компайлтайм
а как написать?
SP
а как написать?
ща сек
SP
SP
ну это СТЫДНО и смешно, работает потому что structural typing
SP
в тс строки работают как литералы, т.е. как варианты
SP
ну надо понимать что это все засахаривают до безобразия, лепят сверху функторы и как то оно выглядит как рабочее, но это треш