p
люди на складе біли тогда?
Size: a a a
2020 August 05
AZ
люди на складе біли тогда?
да, подтверждено минус несколько сотен, несколько тысяч раненых
AZ
ты видео не видел чтоли? Там в километре машины попереворачивало
p
ты видео не видел чтоли? Там в километре машины попереворачивало
видел. уже известно что взорвалось?
AZ
около 2000 тон селитры хабаровского бизнесмена
AZ
можешь погуглить
p
Переслано от polunin.ai
то есть ты выкинешь 20к строк кода потому что не смог прочитать функцию? сильный программист ты однако
p
Переслано от Vladimir Sapronov
я принципиальный программист - известен тем, что говна не ем
D
Хочу какую-нибудь умную нейронку, которая бы делала дневной дайджест 😊))
можно еще нейронкой заменить царя, должно отлично получиться
NL
можно еще нейронкой заменить царя, должно отлично получиться
p
@enomad я ПОНЯЛ, почему в языках нет нормальных фич. потому что это СЛОЖНО. реально, каждая фича прибавляет огромную кучу нагрузки на различные части компилятора и рантайма, поэтому и разрабы не спешат пилить их в языки.
p
Вот ты я помню хотел чтобы у каждого варианта перечисления был свой тип. Я так и не придумал за несколько месяцев, как это сделать так чтобы это хотя бы РАБОТАЛО и было soundness. Потому что вроде лёгкая вещь а на самом деле она очень нетривиальная.
NL
@enomad я ПОНЯЛ, почему в языках нет нормальных фич. потому что это СЛОЖНО. реально, каждая фича прибавляет огромную кучу нагрузки на различные части компилятора и рантайма, поэтому и разрабы не спешат пилить их в языки.
Но если это Scala, то кое-какие фичи можно сделать используя средства самого языка. Например, анонимные рекорды, LINQ, разные html/css DSL, тайпклассы делались средствами самого языка (имплиситами + немножко тайплевельной магии).
p
Вот ты я помню хотел чтобы у каждого варианта перечисления был свой тип. Я так и не придумал за несколько месяцев, как это сделать так чтобы это хотя бы РАБОТАЛО и было soundness. Потому что вроде лёгкая вещь а на самом деле она очень нетривиальная.
Самый правильный способ - это сделать refinement types, которые охренеть какие сложные и требуют верификатор
SP
@enomad я ПОНЯЛ, почему в языках нет нормальных фич. потому что это СЛОЖНО. реально, каждая фича прибавляет огромную кучу нагрузки на различные части компилятора и рантайма, поэтому и разрабы не спешат пилить их в языки.
ну да
NL
То есть Scala — один из немногих языков, где у писателей библиотек средств не меньше, чем у разработчиков самого языка.
SP
Вот ты я помню хотел чтобы у каждого варианта перечисления был свой тип. Я так и не придумал за несколько месяцев, как это сделать так чтобы это хотя бы РАБОТАЛО и было soundness. Потому что вроде лёгкая вещь а на самом деле она очень нетривиальная.
ну это не нужно и велосипедится
SP
@enomad я ПОНЯЛ, почему в языках нет нормальных фич. потому что это СЛОЖНО. реально, каждая фича прибавляет огромную кучу нагрузки на различные части компилятора и рантайма, поэтому и разрабы не спешат пилить их в языки.
p
ну это не нужно и велосипедится
Велосипеды в языках это плохо
SP
Велосипеды в языках это плохо
норм
pub struct DTLineSegment {
pub val: Line<Screen>,
pub prio: u32,
}
pub enum DTObj {
Point(DTPoint),
Line(DTLine),
LineSegment(DTLineSegment),
}
pub struct DTLineSegment {
pub val: Line<Screen>,
pub prio: u32,
}
pub enum DTObj {
Point(DTPoint),
Line(DTLine),
LineSegment(DTLineSegment),
}