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

type Id[A] = A

это айди монада как тип, а не как функция

Ну там человек именно это и имел в виду, по коду это очевидно

конструкторов типов

ну ок, но непонятно к чему это аргумент

ZipList структурно сложнее Id, но монадой не является 🤷‍♂️

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

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

лол.

и async/await и ? были ошибкой

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

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

Да, 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)) }

ну типа бокс это айди в куче, эт да

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

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

#скипнулвесьоффтопик10000смс

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

Зачем

Чтобы не пролистывать постоянно