p
Ну я хочу переписать вектор на него, да. Но это все равно будет бойлерпрлетнее чем в идрисе.
Size: a a a
2020 April 24
G
ну хз на бойлерплейт насрать
p
Dima
тебе это зачем? я уже спросил
Например сериализация/десериализация в байты. Я хочу быть уверенным что функция get_u64 считает 8 байтов и вернёт буфер с len - 8 байт.
G
Например сериализация/десериализация в байты. Я хочу быть уверенным что функция get_u64 считает 8 байтов и вернёт буфер с len - 8 байт.
ну принимай и возвращай подходящие типы
p
ну хз на бойлерплейт насрать
А есть вектор на тайпэнумах с производительностью стдшного?
G
А есть вектор на тайпэнумах с производительностью стдшного?
хз
p
А ещё лучше Bytes/BytesMut, потому что я их использую
G
львиная доля того о чём ты говоришь можно сделать без зав типов лол
D
А ещё лучше Bytes/BytesMut, потому что я их использую
жил с ub до недавних времен, а тут завтипы захотел))
p
С ними проще
G
Dima
жил с ub до недавних времен, а тут завтипы захотел))
кек
G
С ними проще
ну ок проще что дальше
SP
Кстпти позовите в хаскель когда туда завтипы завезут
и рекорды
p
Dima
жил с ub до недавних времен, а тут завтипы захотел))
Мне вообще пофиг уб не уб в том случае было
SP
блин какой же раст медленный
SP
у меня очень слоупочно все стало
p
ну ок проще что дальше
Это суть любых фишек. Они упрощают написание кода.
G
Это суть любых фишек. Они упрощают написание кода.
не все фишки упрощают, ты путаешь выразительность с мощностью языка
G
зав. типы увеличивают его мощность
D
я хз, я как не захожу в offtopic,мне кажется тут на idris-е или agda как минимум все пишут