p
2. нет
Size: a a a
2020 April 21
DS
1. нормальная
Нет HKT или GAT
DS
Нет экзистенциальных типов нормального вида. (Так чтобы без кучи ограничений, как сейчас)
DS
(Дайте мне вернуть чёртов impl Trait из чёртового трейта)
p
Нет HKT или GAT
о боже, люди десятилетиями жили без нкт, да и сейчас живут
DS
о боже, люди десятилетиями жили без нкт, да и сейчас живут
Люди десятилетиями вообще без систем типов живут - это не аргумент
p
(Дайте мне вернуть чёртов impl Trait из чёртового трейта)
эм, ты в курсе что у тебя тогда разные структуры из этого метода смогут возвращать разные типы? это хрен закодируешь.
e
Ну и да, брать скалу, если ты страдаешь спрингом головного мозга - бесмысленно.
какой стек со скалой юзаешь обычно?
p
(Дайте мне вернуть чёртов impl Trait из чёртового трейта)
делай генерик на уровне трейта
DS
какой стек со скалой юзаешь обычно?
tapir/rho/typed-schema + finch/http4s + IO/ZIO + doobie/quill, архитектурно - tagless final и т.п.
p
эм, ты в курсе что у тебя тогда разные структуры из этого метода смогут возвращать разные типы? это хрен закодируешь.
я сходу не могу придумать как это реализовать в компиляторе. разные типы возвращать из одной функции. вряд ли когда-то будет.
DS
эм, ты в курсе что у тебя тогда разные структуры из этого метода смогут возвращать разные типы? это хрен закодируешь.
Так с associated типом. Мне хватило бы, чтобы я мог в associated типе написать impl Trait
DS
Это сразу решило бы большинство раздражающих меня вещей
e
tapir/rho/typed-schema + finch/http4s + IO/ZIO + doobie/quill, архитектурно - tagless final и т.п.
👍
а slick не пробовал?
а slick не пробовал?
DS
👍
а slick не пробовал?
а slick не пробовал?
Пробовал - он мне не нравится, если честно. Я вообще предпочитаю SQL писать руками, у меня PTSD от связки больших баз и ORM'ов
p
Так с associated типом. Мне хватило бы, чтобы я мог в associated типе написать impl Trait
повторюсь, как ты собрался писать в ассоциированном типе разные типы
e
Пробовал - он мне не нравится, если честно. Я вообще предпочитаю SQL писать руками, у меня PTSD от связки больших баз и ORM'ов
😁😁
мне зашло и я конечно удивился на сколько это мощный инструмент
мне зашло и я конечно удивился на сколько это мощный инструмент
p
impl Trait это когда компилятор может из использования вывести нужный тип, в трейте это сделать невозможно
p
и в чем проблема писать
type Foo: Trait;
?
type Foo: Trait;
?
DS
и в чем проблема писать
type Foo: Trait;
?
type Foo: Trait;
?
Так мне это нужно в реализации трейта, очевидно же