Раскопки древних косточек раста
https://t.iss.one/rust_offtopic/198610

Αλεχ Zhukovsky:
https://venge.net/graydon/talks/intro-talk-2.pdf ехех, неплохо

забавно, насколько он сильно поменялся, но остался тем же

obj swap[T](tup(T,T) pair) -> tup(T,T) {
 ret tup(pair._1, pair._0);
}
fn main() {
 auto str_pair = tup(“hi”, “there”);
 auto int_pair = tup(10, 12);
 str_pair = swap[str](str_pair);
 int_pair = swap[int](int_pair);
}

раст образца 2008 года

Из книги по FRP, отлично сформулировано

There are mathematical reasons behind the “complexity wall” experienced in commercial software projects: state mutation creates a maze of possible data dependencies such that unraveling them is an intractable problem. This makes programming harder and complicates parallelism and optimization. Object-oriented programming brings order to state mutation, but this just entrenches an approach that doesn’t help software or hardware designers.

Злая ржавая магия, не стоит это использовать в продакшене, но если очень нужно, то...
https://t.iss.one/rust_offtopic/257967

T-34 85:
Он, кстати, жаловался на отсутствие CT reflection. Но, кажется, этого и в Rust нет?

Hirrolot:
Угу, вот себе даже игрушку написал: https://gist.github.com/085ac73a40c8513e4a1177425c736277

Doge Shibu:
У меня на нём автовыводы трейтов сделаны, вполне удобно, когда не хочется с процедурными макросами париться.

И за счёт оптимизаций компилятора ещё и бесплатно

Когда-то я игрался с этим Феликсом, худо бедно с ним можно научиться работать и даже понимать его плюсовый выхлоп, но когда у тебя есть Rust, всё это не нужно.
https://t.iss.one/rust_offtopic/258210

Ты не поверишь, но таких попыток "улучшить C++" было десятки, если не сотни.
Например, вот https://github.com/felix-lang/felix достойная попытка, да, с двунаправленным мэппингом в C++, но - мёртвая!

Kitsu учит плохому 24x7
https://t.iss.one/rust_beginners_ru/64751

Oleh Bozhok:
Привет, изучаю раст бук
и мне стало интересно, как сделать так, чтобы такой вариант кода компилился?

pub fn search_case_insensitive<'a>(query: &str, contents: &'a str) -> Vec<&'a str> {
let query = query.to_lowercase();
let mut results = Vec::new();

let contents = contents.to_lowercase();
for line in contents.lines() {
if line.to_lowercase().contains(&query) {
results.push(line);
}
}

results
}

Kitsu:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=ef57ac8a12e9a312a8482f452fbb3376
моя любимая рубрика вредных советов

Антон:
Помой рот с мылом

Если вдруг не терпится окунуться в теорем-пруверы, то тут начальник скалы из банки подготовил фак:
https://t.iss.one/ebanatics_learn/15698

Alex Gryzlov, [21.05.20 02:36]
есть много статей постов и текстов
про то чтобы кто то делал единый мук с обзором не слышал
есть еще всякие подходы к пруверам: классическая логика как в изабелле, логические фреймворки как в твелфе и белуге, экстенсионалка как в нупрле и андромеде

Oleg ℕizhnik, [21.05.20 02:40]
[In reply to Nikita Vilunov]
Кок - продакшон реди прувер с тактиками и солидными либами и динамически переопредедяемым синтаксисом.
Типичный фаел на коке это такой скрипт на 5000 строк, выглядит как АБАП, нифига не понятно, но это и не важно, пока зелёное.

Агда - наркоманская фигня с миксфикс нотацией и абузом юникода, каждый файл выглядит как заклинание.
Но термы хотя бы выглядят как функции.Там же есть кубикал расширение для пруванья хотта.

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

Аренд - штука которая вся построена на \keyword синтаксисе, размашистая как жава, но с кучей встроенных в язык хомотопических штук и офигенной иде.

В принципе отличий между любой парой из них больше, чем между скалкой и жовкой.

Alex Gryzlov, [21.05.20 02:42]
ну идрис с агдой были изначально оч близки

(, [21.05.20 02:42]
Лин есчо

Alex Gryzlov, [21.05.20 02:42]
но в последнее время стали расходиться
агда пошла в кубы и соответственно ещё большие проблемы с компиляцией, идрис в линтипы и сопутствующие им протоколы
лин да, это такой кок от майкрософтовских ботаников
та же система в основе, тоже быстрый но ориентирован на то чтобы математики делали в нем хуяк хуяк

Oleg ℕizhnik, [21.05.20 02:48]
мне кажется лин по отношению к коку это как пурс к хашкелю или котлин к скале

типа мы ща сделаем всё правильно, инженерно, часть просто реимплементят, большую часть не имплементят, есть отдельные новые фичи, которые вызывают некоторые вопросы

#prog #rust #article

Обстоятельное эмпирическое изучение ошибок в реальных программах на Rust. Деление на safe/unsafe код действительно помогает, но все баги с излишней блокировкой были найдены в safe коде. Особенности Rust делают некоторые паттерны ошибок более вероятными, чем в других языках. Изучение этих паттернов позволило создать статические анализаторы, которые вскрыли ранее незамеченные ошибки.

Читайте, когда найдётся свободное время, статья объёмная.

cseweb.ucsd.edu/~yiying/RustStudy-PLDI20.pdf

Мастрид ^^^

Собес Попова, ждём-с
https://t.iss.one/rust_offtopic/260467

Roman Proskuryakov:
а ты не думаешь, что проблема в тебе?
я так, просто интересуюсь
хочешь, проведём с тобой интервью
игрушечное

Stanislav Popov:
давай

По мнению Доге, нормальный кошачий (в смысле cats) код
https://t.iss.one/rust_offtopic/262097

Тут так себе код в некоторых местах, но так, энтерпрайз в ФП стиле:
https://github.com/pauljamescleary/scala-pet-store

Ещё один язык без КЦ. чатлане могут проходить мимо
https://t.iss.one/rust_offtopic/262819

Doge Shibu, [24.05.20 00:06]
https://github.com/u2zv1wx/neut

Q: А как здесь относятся к gradual typing?
A: Matthias Felleisen занимается исследованиями в этой области кучу лет (10+) и он пришёл к выводу, что это дохлое направление.
https://www.youtube.com/watch?v=5DlEj6daNEo
https://www.ccs.neu.edu/home/asumu/slides/popl-2016-01-21.pdf
https://www2.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf

via https://t.iss.one/rust_offtopic/262942

А я предпочитаю, чтобы это делал Rust :-P

Matwey Kornilov, [26.05.20 16:12]
Мне кажется, меня обижает borrow чекер

℣ badt, [26.05.20 16:18]
пожалеть тебя?

Matwey Kornilov, [26.05.20 16:18]
да

℣ badt, [26.05.20 16:18]
все наладится

😃

via https://t.iss.one/rustlang_ru/304317

rust-like язык с ГЦ, но со статическим анализатором, таким образом освобождая память, где он смог доказать, что это можно, а остальное отправляя в ГЦ.

https://github.com/doctorn/micro-mitten

Jerzy Syrowiecki, [26.05.20 23:12]
общие условия работы у Яндекса лучше, чем у ЛК, на мой взгляд. ну и я просто хотел серверами заниматься. надоела ОС

Jerzy Syrowiecki, [26.05.20 23:13]
в Яндекс? да, но это вроде бы объективность обеспечивает

Jerzy Syrowiecki, [26.05.20 23:14]
короче, если хотите писать на Хаскеле, ЛК — норм

Mikhail Baynov, [26.05.20 23:15]
кодобаза небось уже засрана, технического долга на годы)

Jerzy Syrowiecki, [26.05.20 23:18]
хаскельная кодобаза в ЛК в лучшем состоянии, чем питоновая в Яндексе

via https://t.iss.one/haskell_cv/3247

#prog #rust #article

Офигенная статья о заблуждениях касательно лайфтаймов. Очень хорошее подспорье новичкам. Как пишет автор в своём первом посте:

While learning Rust I was struggling with certain concepts so I tried to organize my thoughts by writing them down in markdown files and well... I soon had several markdown files. I thought "Maybe I should start a blog?" but then I realized "I probably shouldn't, my posts will never be as good as anything written on Rust by Niko Matsakis, Saoirse Shipwreckt, Huon Wilson, David Tolnay, Alexis Beingessner, Daniel Keep, Carl Fredrik Samson, Aleksey Kladov, Amos Wegner, Pascal Hertleif, Dimitri Sabadie, Daniel Henry-Mantilla, Steve Klabnik, Jake Goulding, or Carol Nichols". That list isn't even exhaustive, there's easily dozens of people I left out! There's lots of super smart folk who are already writing about Rust. However, I have one unique advantage that none of those people have: I'm dumb. Super smart people tend to write super smart articles that only other super smart people understand. There's a gap in the market for us dummies, and it's that gap I intend to fill with my writing.

Советую приглядывать за этим блогом, это явно что-то многообещающее.

github.com/pretzelhammer/rust-blog/blob/master/posts/common-rust-lifetime-misconceptions.md

p0lunin:
может выучить плюсы пойти в засраный люксофт и не *** себе мозги?

Sergey Korotkov:
учи плюсы, а люксофт не надо

Mike Lubinets:
Плюсы да на галеру

Stanislav Popov:
работать борроучекером )

Mike Lubinets:
БЛ* БУКВАЛЬНО
Я сейчас на плюсах пишу
И это буквально работа борроучекером

via https://t.iss.one/rust_offtopic/265359

дада, программист может написать

alter table companies add column "ParentCompanyId" uuid
create index if not exists "Companies_IX_ParentCompanyId"
  on companies ("ParentCompanyId");

А вот от

modelBuilder.Entity<Company>()
  .HasIndex(b => b.ParentCompanyId)

Руки отвалятся