EG
Если сделать язык с очень сложной системой типов, а потом засахарить эту систему до неузнаваемости, то рано или поздно ебанёт
Size: a a a
2021 April 17
EG
И уже много где ебануло, собсна
EG
И fake-static, и несовместимость async с SB, и вся такая херня это симптом попытки игнорировать сложность лайфтаймов
X
Где?
EG
Открой I-unsound и любуйся на таски, открытые годами, которые никто не знает, как решать
TK
fake-static, собсна, эксплуатирует один-единственный баг, который не торопятся поправлять аж с 2015 (?)
D
нету ни какой проблемы, это все херня какая-то, единственная проблема которую решает раст это типа, мы даем вам апи чтоб вы не могли застрелиться, а вот какой ценой...
EG
Этот баг появился потому, что существуют implied bounds
EG
Implied bounds существуют потому, что на самом деле система лайфтаймов слишком строгая, чтобы её можно было использовать
EG
И слишком сложная
С
Проблема в том, что сложный язык требует многих переделок и экспериментов, а на это надо дохрена денег, а деньги нынче только за блокчейн дают
TK
Короче говоря, языки пишут люди, а люди склонны ошибаться. Фундаментальных проблем нет в дизайне, или не нашли.
EG
Rust это первый-блин-комом попытка формализовать правила ownership, которые более или менее неформально существовали в C, типа, всегда. Но не проверялилсь.
С
И вообще всеобщий дроч на mvp до добра не доведёт
EG
В C тебе точно так же нужно знать, «владеешь» ты T* или нет
EG
Просто это в системе типов не записано
С
Только это надо шибко умным быть и выводить самому, методом пристального прищура
D
safe rust просто сваливает все проблемы на того кто пишет unsafe rust, это вроде и хорошо, но хз
TK
На unsafe зато больше времени остаётся пристально щуриться, хоть safe-обёртки и сложно писать.
D
safe rust это как питон, ничего плохого, но фундамент не построешь