Size: a a a

2020 April 08

RP

Roman Proskuryakov in rust_offtopic
Честно говоря, вчера я задумался над тем, что я был бы рад увидеть rust v2 с монадками
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
id монада это что-то из завтипов. В обычных япах монадность свойство типов, а не значений
type Id[A] = A
источник

AZ

Alex Zhukovsky in rust_offtopic
Doge Shibu
type Id[A] = A
это айди монада как тип, а не как функция
источник

DS

Doge Shibu in rust_offtopic
Alex Zhukovsky
это айди монада как тип, а не как функция
Ну там человек именно это и имел в виду, по коду это очевидно
источник

r

red75prime in rust_offtopic
Alex Zhukovsky
id монада это что-то из завтипов. В обычных япах монадность свойство типов, а не значений
конструкторов типов
источник

AZ

Alex Zhukovsky in rust_offtopic
ну ок, но непонятно к чему это аргумент
источник

AZ

Alex Zhukovsky in rust_offtopic
ZipList структурно сложнее Id, но монадой не является 🤷‍♂️
источник

r

red75prime in rust_offtopic
Иллюстрация, что много чего - монада
источник

RP

Roman Proskuryakov in rust_offtopic
> There are still a handful of people who hold to their orignal position that ? was a mistake, after all.

лол.
источник

RP

Roman Proskuryakov in rust_offtopic
и async/await и ? были ошибкой
источник

RP

Roman Proskuryakov in rust_offtopic
все эти пляски вокруг генераторов из-за отсутствия монад
источник

RP

Roman Proskuryakov in rust_offtopic
как же я хочу увидеть форк раста, в котором не будет текущих проблем с ? и async
источник

r

red75prime in rust_offtopic
Стас Донцов
кстати, о монадах, а Box не является монадой?
Да, Box - это монада в сочетании с операциями fn return<T>(x: T) -> Box<T> { Box::new(x) } и fn and_then<F: FnOnce(T) -> U>(self, f: F) -> Box<U> { Box::new(f(*self)) }
источник

AZ

Alex Zhukovsky in rust_offtopic
red75prime
Да, Box - это монада в сочетании с операциями fn return<T>(x: T) -> Box<T> { Box::new(x) } и fn and_then<F: FnOnce(T) -> U>(self, f: F) -> Box<U> { Box::new(f(*self)) }
ну типа бокс это айди в куче, эт да
источник

ЕС

Егор Савельев... in rust_offtopic
Форк не поможет, а усугубит проблемы. Если есть желание избавиться от текущих проблем связанных с асинком необходимо создавать предложение по поводу апдейта раста до версии 2.0, что явно будет забраковано человеком с ником Centril, либо же предлагать апнуть edition и туда добавить do-синтаксис. Но я сомневаюсь что разработчики языка будут заниматься этим так как на реализацию async-await они потратили около двух лет.
источник

r

red75prime in rust_offtopic
Но в расте это наполовину бесполезно, потому что существуют dynamically-sized типы и лайфтаймы
источник

S[

Seer Iλya [Vennik E1... in rust_offtopic
#скипнулвесьоффтопик10000смс
источник

PK

Pavel Kvasnikov in rust_offtopic
вот бы было хорошо если бы сообщения автоматом исчезали через какое-то время
источник

A

Anton 📦 ᯌ in rust_offtopic
Pavel Kvasnikov
вот бы было хорошо если бы сообщения автоматом исчезали через какое-то время
Зачем
источник

PK

Pavel Kvasnikov in rust_offtopic
Anton 📦 ᯌ
Зачем
Чтобы не пролистывать постоянно
источник