Telebot-rs и telegram-bot

ну дык)

да

думал другие

Ну telegram-bot бросили

Типы написали, а апи нет

Чем математические типы от обычных отличаются?

Чем математические типы от обычных отличаются?

знаешь спецификацию fantasy land?

Не-а

ну вот

Option и Result это по спеке

монады

собственно монады, функторы, аппликативные монады и т.д. должны быть реализованы по спеке и гарантируют взаимодействие друг с другом

много плюшек

а вообще это все основы фп

протокол у телеги ебуче сложный

Они гарантируют тебе максимально высокий уровень абстракции

Это не то чего обычно хотят от системного языка

Хотя может я просто не осилил

ну писать бота на системном языке тоже не алё

но раст как бы позволяет поднять абстракции до удобных

я правда ещё не дошел до этого

Да и фп без монад есть, я хз о чем вы тут сретесь я старый

Тут сейчас придут и скажут про нкт которых нет в расте, и без которых монады сложно

А кстати допустим вот я уверен что у меня никогда не будет бесконечной вложенности, а раст меня заставляет боксить

Не зерокост язык

Тут сейчас придут и скажут про нкт которых нет в расте, и без которых монады сложно

Maybe же есть в расте

А кстати допустим вот я уверен что у меня никогда не будет бесконечной вложенности, а раст меня заставляет боксить

если у тебя impl - то конечно заставит

каждайя реализация может иметь свой размер

Не зерокост язык

Смело, он инлайнит везде где только можно

а как тут должен вести себя настоящий зерокост язык? сразу выделять терабайт, шобы точно влезло? =)

каждайя реализация может иметь свой размер

Ну это как generic будет, указал сколько у тебя может быть рекурсией и пусть генерит. Потом в компайл тайме ещё проверяет чтобы не превысил

Чет ты как муравей

Херню какую то несешь

Ссылка это типо плюсового указателя гарантировано не висящего, бокс это плюсовый unique_ptr

Ссылка это как плюсовая ссылка, только ставится явно

Про монады лучше расскажи

Какой аналог у монад в крестах?

Давайте проголосуем мейби в расте монада или нет

А в расте?

В расте нет монад

Вон тебе же сказали мейби

В расте нету мейби

Option

Тайп конструктор

А в чем монадность?

а че законы не работают?

Нормальный человек таким вопросом в канун Нового года не задается

кто как паблишит доки по крейтам?

docs.rs?

хм

ну да

Есть, кто не спит? Помогите борроучекер победить

Я спать

Если мне приснится решение — напишу

Ладно, в общем задача у меня такая: я прохожу по вектору, беру два соседних элемента, выполняю над ними проверку. Если проверка проходит, я мёрджу содержимое второго элемента в первый и удаляю его из вектора

Естественно он мне не даёт заборроуить одновременно два элемента, чтобы перелить содержимое из одного в другой

Что тут можно сделать, кроме клонирования элементов?

Индекс сохранять

for i in 0..vec.len() { let index = { if check(vec[i], vec[i+1]) { Some(i) } else { None } } if let Some(i) = index { merge(&mut vec, i, i+1) } }

Первое что в голову пришло

Скорее всего можно элегантнее

Хмм

То есть внутри merge лезть прям во внутренности структуры?

Ну ок, идею понял, спасибо

Но это конечно печально, что функция merge будет работать только при наличии вектора

То есть внутри merge лезть прям во внутренности структуры?

А как иначе то?)

Но это конечно печально, что функция merge будет работать только при наличии вектора

Ну сделай не функцию, а прямо там что-то делай

Это так, иллюстрация

Суть а том чтобы у тебя не было висячих ссылок в тот момент когда ты мутируешь вектор

А как иначе то?)

Ну да, у меня так и есть)

Просто получается, что все функции либо приходится инлайнить, либо наоборот в них вносить лишние зависимости

Компилятор не дурак

А что могло потенциально поломаться, если бы мой код скомпилировался?

покажи "свой" код

https://pastebin.com/SMk0mjyc

Ну тут current_group можно заменить на индекс, да

Хотя стоп

Оно должно скомпилироваться)

Сейчас проверю

Да, всё отлично. Оказывается, проблемы и не было, я просто раньше времени запаниковал

Привет. Подскажите пожалуйста алгоритм обхода небинарного дерева без использования рекурсии (с использованием стека)?