AZ
welcome to the club
Size: a a a
2020 April 26
AZ
именно так и должна выглядеть разработка
G
+++
С
кек, идрис прикольный
не знаю что пишу, тупо смотрю что пишет компилятор и сопоставляю типчики
запустил - заработало как надо с первого раза
сейчас пытаюсь понять как работает код
не знаю что пишу, тупо смотрю что пишет компилятор и сопоставляю типчики
запустил - заработало как надо с первого раза
сейчас пытаюсь понять как работает код
Я недавно в одном проекте на C# позаменял все string id на специализированные readonly struct MyCustomId { string Id } и тоже писать стало легче. Сам не понял, где ошибся - а компилятор видит
G
Я недавно в одном проекте на C# позаменял все string id на специализированные readonly struct MyCustomId { string Id } и тоже писать стало легче. Сам не понял, где ошибся - а компилятор видит
типы можно в любом языке использовать, главное знать как это делается (многие не знают, думают что знают, а на самом деле не знают)
G
если опустить хкт и зав. типы всякие конечно
G
в расте вот сессионные типы есть почти из коробки. очень прикольные
G
даже в джаве можно GADTs намесить и алгебру объектов
2020 April 27
EG
У меня ошибка E0623, пожелайте мне удачи
EG
Я её в первый раз вижу, но про неё есть issue, что компилятор её описывает неправильно
EG
И это таки похоже на правду, потому что он говорит полную хуйню
G
у меня rustfmt один раз запаниковал
p
Что за ошибка, покади
p
У тебя хуйня с кодом: у тебя лайфтаймы бесполезные
p
Убери их просто
EG
У тебя хуйня с кодом: у тебя лайфтаймы бесполезные
С убранными лайфтаймами работает точно так же
EG
Я их просто проставил в надежде понять, что происходит
p
Кек
EG
Исходно их не было