https://www.meetup.com/rustjerk/events/252640463/

да блять давно пора уже ду-нотацию завезти с монадками и не плодить кучу бесполезного синтаксиса

а в причинах написать: We can't wait!

да блять давно пора уже ду-нотацию завезти с монадками и не плодить кучу бесполезного синтаксиса

да и прикрутить HKT, достаточный для моноидов/функторов/монад должно быть не такой уж проблемой

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

Лол открываю расточат и снова вижу "HKT"

Лол открываю расточат и снова вижу "HKT"

откуда бред?

откуда бред?

это же классика

ща скину

https://eax.me/cpp-will-never-die/

https://eax.me/rust/

а, читал уже забыл, что количество неадеквата зашкаливает

Так вот, а раз вы все равно прогоняете тесты, почему бы не воспользоваться еще и санитайзерами? Да, они находят не все баги. Но с другой стороны, если где-то глубоко в коде вы, условно говоря, не делаете проверку на выход за границу массива, и санитайзер не ловит баг, может быть это просто потому что выше уровнем уже есть все нужные проверки и дополнительная приведет только к лишним тормозам?

Красаучег =)

Так вот, а раз вы все равно прогоняете тесты, почему бы не воспользоваться еще и санитайзерами? Да, они находят не все баги. Но с другой стороны, если где-то глубоко в коде вы, условно говоря, не делаете проверку на выход за границу массива, и санитайзер не ловит баг, может быть это просто потому что выше уровнем уже есть все нужные проверки и дополнительная приведет только к лишним тормозам?

да.что то совсем крышак поехал...

Кукуха улетела на встречу комитета по принятию C++18 =)

Path clarity уже запилили или еще нет?

в расте

Лол открываю расточат и снова вижу "HKT"

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

Path clarity уже запилили или еще нет?

Это модуль реформ что ли?

Это модуль реформ что ли?

https://rust-lang-nursery.github.io/edition-guide/2018/transitioning/modules/path-clarity.html Нашел тикет

В 2018 эдишне запилили

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

а я и не против, просто как госрачи скатываются в генерики, тут каждый день нкт

а я и не против, просто как госрачи скатываются в генерики, тут каждый день нкт

Ну дженериков не хватает всем, а HKT только хаскелистам

https://rust-lang-nursery.github.io/edition-guide/2018/transitioning/modules/path-clarity.html Нашел тикет

https://internals.rust-lang.org/t/help-test-out-the-2018-module-system-changes/8047

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

Например каких

Например каких

Например что раст не хаскель =)

Педивикия говорит что хаскель "Появился в 1990", так отебитесь от раста лет на 10

ну хотяб на 5

https://internals.rust-lang.org/t/help-test-out-the-2018-module-system-changes/8047

надо попробовать на чем нить маленьком

Хаскель мастер рейс

rfcs/0000-if-let-chains.md at rfc/let-chains-2 · Centril/rfcs · GitHub https://github.com/Centril/rfcs/blob/rfc/let-chains-2/text/0000-if-let-chains.md

> Centril > полезный рфц штааа?

> Centril > полезный рфц штааа?

imposible

да блять давно пора уже ду-нотацию завезти с монадками и не плодить кучу бесполезного синтаксиса

сказали, что ду-монады это дела нескорого будущего

прикольно

izip!(&mut results, 0..10, inputs) -> results.iter_mut().zip(0..10).zip(inputs)

https://eax.me/cpp-will-never-die/

От создателей "кобол никогда не умрет, все банки на нем работают"

https://www.meetup.com/rustjerk/events/252640463/

Почему когда я жму на галочку в meetup, то ничего не происходит дальше?

Почему когда я жму на галочку в meetup, то ничего не происходит дальше?

говорят, митап хреново работает

если не можешь отметиться, то просто приходи

Может там что-то поблочили опять и надо через VPN ходить в meetup?

тонкостей не знаю

Почему когда я жму на галочку в meetup, то ничего не происходит дальше?

потому что ты уже заассайниглся

потому что ты уже заассайниглся

Ок. Странный веб-интерфейс однако

Меня пугает когда нажатия не приводят к результату

Например каких

Обработка ошибок, куча if let Some(...) в ряд, футуры.

Обработка ошибок, куча if let Some(...) в ряд, футуры.

? решает обработку ошибок .and_then решает if let Some, async await решает футуры

? решает обработку ошибок .and_then решает if let Some, async await решает футуры

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

Монада - это мощная (и простая по сравнению с async/await) абстракция. В Rust для них даже не пришлось бы пилить сахар вроде ду нотации, ибо есть макросы. Нужна только щепотка HKT

вакансия #москва #backend #rust #hft office #relocation Senior Rust Developer Описание вакансии: Ты будешь реализовывать алгоритмы на RUST для сервисов validator ,matcher,keeper..(HFT сервиса/очереди от брокера до белой международной биржи и обратно с требованием ко времени ответа в 200us) Пример задачи на первый месяц: Написать Matcher который может: Получить заявку из сети Десерилиазовать,переложить из нити принимающей заявки в очередь Вычитать из очереди во второй нити Найти для заявки все заявки которые удовлетворяют условиям Если заявки найдены то выполнить их Сериализовать и отправить отчет дальше по сети Сериализовать и отправить изменение статусов по другим заявкам На всё менее 10us Вероятность написать такое не выпадает даже опытным финансовым сишникам О backend команде: На данный момент 2 Senior Rust Developer'a планируется 5, позже 7, есть команды Senior Go/Python developer'ov Стек компании: Rust,Go,Pyrhon,React,Vuejs Дополнительная информация: Небольшая сильная команда Мало бюрократии Несколько инвесторов Профинсированы на 2 года вперед Быстрый рост в плане личной карьеры Опционы компании, белая зп, отпуск 28 дней Помощь в релокации Город: москва Метро: парк культуры Формат работы: в штат,офис Занятость: полная, Гибкий график,возможно Удаленно 2 раза в неделю(обговаривается) Зарплатная вилка: от 150 тыс ... до 300тыс по результатам собеседования Контакты: {telegram : "https://t.me/kaizenst"}

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

https://github.com/rust-lang/rfcs/blob/master/text/2394-async_await.md A final - and extreme - alternative would be to abandon futures and async/await as the mechanism for async/await in Rust and to adopt a different paradigm. Among those suggested are a generalized effects system, monads & do notation, green-threading, and stack-full coroutines. While it is hypothetically plausible that some generalization beyond async/await could be supported by Rust, there has not enough research in this area to support it in the near-term. Given our goals for 2018 - which emphasize shipping - async/await syntax (a concept available widely in many languages which interacts well with our existing async IO libraries) is the most logical thing to implement at this stage in Rust's evolution.

Только вот async/await уже выкинули из Rust 2018.

Только вот async/await уже выкинули из Rust 2018.

А нахера тогда Rust 2018 вообще нужен?

А нахера тогда Rust 2018 вообще нужен?

Нафига был нужен Impl Period, в котором половину запланированного не заимплементили?

Только вот async/await уже выкинули из Rust 2018.

Разве выкинули?

Там же просто сказали что не сразу заимплементят

Там же просто сказали что не сразу заимплементят

А, ну тогда сделают всё, что обратная совместимость в рамках следующей эпохи не ломалась. Зарезервируют всё, что необходимо.

> обратная совместимость > не ломалась > Rust

Только вот async/await уже выкинули из Rust 2018.

Эх

Кстати, да - в Rust могли бы уже сразу Algebaic Effects + Handlers запилить, минуя монады. Необязательно же повторять весь исторический рисёрч чтобы добраться до современных решений.

Разве выкинули?

Окей, я не так это понял. Получается, ключевые слова будут сразу в Edition 2018, а реализация — когда-нибудь потом. Но это тоже как-то тупо.

Кстати, да - в Rust могли бы уже сразу Algebaic Effects + Handlers запилить, минуя монады. Необязательно же повторять весь исторический рисёрч чтобы добраться до современных решений.

Если сделать из Rust хаскель, то не все обрадуются.

Кстати, да - в Rust могли бы уже сразу Algebaic Effects + Handlers запилить, минуя монады. Необязательно же повторять весь исторический рисёрч чтобы добраться до современных решений.

я даже не знаю что это такое

про монады хоть слышал и чутка юзал

Окей, я не так это понял. Получается, ключевые слова будут сразу в Edition 2018, а реализация — когда-нибудь потом. Но это тоже как-то тупо.

В расте всё будет, но потом

Если сделать из Rust хаскель, то не все обрадуются.

Если НЕ сделать из Rust C++/Go/whatever, то тоже не все обрадуются. Это не аргумент. Кроме того, в Haskell нет Algebraic Effects - я про то и говорю, что можно сразу сделать лучше.

Если НЕ сделать из Rust C++/Go/whatever, то тоже не все обрадуются. Это не аргумент. Кроме того, в Haskell нет Algebraic Effects - я про то и говорю, что можно сразу сделать лучше.

ты б сначала рассказал что это

Если НЕ сделать из Rust C++/Go/whatever, то тоже не все обрадуются. Это не аргумент. Кроме того, в Haskell нет Algebraic Effects - я про то и говорю, что можно сразу сделать лучше.

А где есть, кроме Eff (про который я узнал минуту назад)?

прежде чем рекламировать

я даже не знаю что это такое

https://www.quora.com/What-are-computational-effects-and-algebraic-effects

прежде чем рекламировать

Откуда такое требование - сначала рассказать что это такое? Не говоря уже о том, что я ничего не рекламирую.

Откуда такое требование - сначала рассказать что это такое? Не говоря уже о том, что я ничего не рекламирую.

чтобы все понимали, что если ты говоришь "в расте давно не хватает плюмбусов, сделали бы сразу нормально", то никто нихера не понимает, что это аткое и чем он опоможет

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

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

А где есть, кроме Eff (про который я узнал минуту назад)?

Есть ещё пара языков и вот это, что для Rust актуальнее: https://www.microsoft.com/en-us/research/publication/implementing-algebraic-effects-c/

https://www.quora.com/What-are-computational-effects-and-algebraic-effects

Впечатляющая простыня с отсылками к Idris'у. Ну ок.

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

Oh no! Чтобы что-то понять нужно подумать! С чего Вы взяли, что если я буду что-то объяснять это будет а) проще, чем в статьях; б) вообще соответствовать какой-то действительности?

Oh no! Чтобы что-то понять нужно подумать! С чего Вы взяли, что если я буду что-то объяснять это будет а) проще, чем в статьях; б) вообще соответствовать какой-то действительности?

потому что объяснение монады из теории типов - это херня. А вот объяснение "сморите, теперь вы можете писать async/await и избавиться от коллбеков" - это полезное практическое объяснение

Есть ещё пара языков и вот это, что для Rust актуальнее: https://www.microsoft.com/en-us/research/publication/implementing-algebraic-effects-c/

Боже мой, почему пейперы пишутся вот этим их завитушечно-витееватым, плохо читаемым с экрана шрифтом.