AZ
потому что нет интерсект типов
Size: a a a
2020 May 04
AZ
да и это не имеет в расте особого смысла, ведь тут всё за боксом
G
в таком виде тебе нет смысла собирать все варианты в один супер-тип с миллиардом опций
а как мне потом сигнатуру функции описать которая принимает NewUser с именем от 5 букв?
AZ
а как мне потом сигнатуру функции описать которая принимает NewUser с именем от 5 букв?
еще раз, я не говорю про то что эта штука полностью заменяет генерик с миллиардом параметров. Просто достаточно для большинства кейсов
AZ
например у меня ни разу не возникало необходимости на тайплевеле иметь юзеров различной длины
G
еще раз, я не говорю про то что эта штука полностью заменяет генерик с миллиардом параметров. Просто достаточно для большинства кейсов
ну вообще у неё не миллиард параметров
AZ
ну вообще у неё не миллиард параметров
ну даже 5 уже прилично
G
ну даже 5 уже прилично
у неё 1 параметр будет
G
смотри
AZ
у неё 1 параметр будет
так там и другие поля будут, и ты с ними так же сделать захочешь
G
так там и другие поля будут, и ты с ними так же сделать захочешь
G
например у меня ни разу не возникало необходимости на тайплевеле иметь юзеров различной длины
разница в том что подход с дженериками-полями позволяет не пересоздавать миллион комбинаций типов
G
за нас это делает компилятор, мы просто указываем в дженериках нужные свойства
G
этот подход с дополнительным трейтом и реализующей структурой потому что если ты захочешь вкладывать структуры чтобы не образовывалось миллион дженериков
G
ну и естественно это будет макрос генерировать нам
AZ
поюзай в реальных проектах
AZ
потом расскажешь как оно
G
AZ
в шарпе все равно нет макросов и трейтов, так что мне не горит)
A
держи выше: нет плагина для выравнивания хаскель кода. В хаскель чате считают что автоформаттеры не нужны
А hlint не для этого?