Roma
Глянь у хапарика кортекс-м-квикстарт
Маjко
Пиши мысль в одном сообщении или отправишься в бан.
Маjко
https://github.com/japaric/cortex-m-quickstart/blob/master/examples/allocator.rs
Жапарик бог. Писать под микруху на расте — прогулка по саду фонтанов, судя по примерам
Roma
https://github.com/japaric/cortex-m-quickstart/blob/master/examples/allocator.rs
Жапарик бог. Писать под микруху на расте — прогулка по саду фонтанов, судя по примерам
Ну доделывал бы только — чот ща у него сто проектов и не успевает; и пропадал на месяц почти — все пр тухли висели
Nikita
Посоны, а как у раста дела с асинхронными коннекторами к БД?
Evgεny
да вроде никак
Kerrigan
для постгреса и мускуля вроде на токио есть
Nikita
Жаль
Berkus
или всё еще нет?
պլհկ
я скинул выше issue
Loo
123
Если у меня есть несколько bin`ов, я содержу их в /src/bin/, как мне весь отсальной код подключать, допустим, в main.rs? Всь остальной код в /src/
պլհկ
extern crate ?
Vladimir
Зависит от того что ты хочешь, ты можешь основной код оформить в виде либы и подключать, а можешь просто мейны бинарников держать не в /src/bin а просто в /src/
Ну и тогда у тебя файлы будут как модули подключаться к каждому из бинарников
Nikita
Слушойте, а где-нибудь можно прочитать про токио и про все устройство этого асинхронного зоопарка в расте? Хочется знать, почему токио так важен
Nikita
https://github.com/japaric/cortex-m-quickstart/blob/master/examples/allocator.rs
Жапарик бог. Писать под микруху на расте — прогулка по саду фонтанов, судя по примерам
Там всё не так радужно как хотелось бы, но сильно козырнее чем полгода назад когда я этим занимался
Kerrigan
Max
привыкай
Vladimir
Глянь у хапарика кортекс-м-квикстарт
пажи, xargo ж для того чтоб билдить таргеты, не все ж таргеты есть в rustup
Например разные мюслы, юцлибы, все варианты тупо впадлу будет каждый ночник собирать, не?
Nikita
Да я уже давно привык, но знать как-то хочется
պլհկ
Слушойте, а где-нибудь можно прочитать про токио и про все устройство этого асинхронного зоопарка в расте? Хочется знать, почему токио так важен
https://tokio.rs/docs/getting-started/hello-world/
Kerrigan
блин, короче я потерял линк
Nikita
всем спасибо ❤️
Kerrigan
@notplhk принеси плз
պլհկ
https://github.com/polachok/toykio
Roma
пажи, xargo ж для того чтоб билдить таргеты, не все ж таргеты есть в rustup
Например разные мюслы, юцлибы, все варианты тупо впадлу будет каждый ночник собирать, не?
Хз про мюслы, раньше харго нужен был чтобы под арм например собрать; теперь карго достаточно
Vladimir
Хз про мюслы, раньше харго нужен был чтобы под арм например собрать; теперь карго достаточно
То уже следствие, xargo нужен чтоб собрать стд либу нужного тебе конфига, то что добавили таргет арма из коробки конечно хорошо, но не полностью решает проблемы. Так что поживет еще.
Anonymous
Игрушечный токио для игрушечного языка
Anonymous
Anonymous
Vladimir
Alexander
Вот +100. Запарили с трейтами и типажами.
Ignat
потому что понятию интерфейса уже соответствует устоявшийся механизм, отличный от тайпклассов
Vladimir
потому что понятию интерфейса уже соответствует устоявшийся механизм, отличный от тайпклассов
"Интерфе́йс (англ. interface) — программная/синтаксическая структура, определяющая отношение между объектами, которые разделяют определённое поведенческое множество и не связаны никак иначе. "
Чем не трейт?
Ignat
> русскоязычная Википедия
> Возможно, эта статья содержит оригинальное исследование
Vladimir
Короче, ваши тайпклассы это интерфейсы
Vladimir
Напридумывали базвордов, чтоб казаться умнее
Ignat
prove me wrong
Vladimir
"Интерфе́йс (англ. interface, фр. interface, нем. Schnittstelle) — общая граница между двумя функциональными объектами, требования к которой определяются стандартом"
Vladimir
О, у меня дата сломалась.
Vladimir
Ignat
ну это просто супер-широкое определение, которое не имеет отношения к языковым фичам
Vladimir
ну это просто супер-широкое определение, которое не имеет отношения к языковым фичам
Вот я и не скинул цитатку которая описывает это же, но для языка.
Кабачок
Салам, растаны
Vladimir
Да и вообще, что значит не имеет отношения к языковым фичам?
Кабачок
Какая сейчас ситуация с формализацией раста?
Vladimir
И до класса, и до эвм
Vladimir
Шах и мат хаскелист
Andrei
Интерфейс появился до тайпкласса
https://people.csail.mit.edu/dnj/teaching/6898/papers/wadler88.pdf ahem
Ignat
в рассматриваемом контексте интерфейс — это механизм обеспечения полиморфизма через виртуальные функции, при этом поведение является частью типа
Ignat
в русте механизм другой
Ignat
можно конечно покосплеить Роба Пайка и шланговать, прикрываясь аналогичными аргументами
Vladimir
в рассматриваемом контексте интерфейс — это механизм обеспечения полиморфизма через виртуальные функции, при этом поведение является частью типа
Почему через виртуальные функции? Это вообще про реализацию, и в термин интерфейс это не входит
Ignat
но судя по имеющемуся опыту, в таком случае получается хуйня, а не язык.
Cat
2.5 исследователя гоняют раст на верификациях всяких, пару раз находили какие-то баги
Кабачок
а что с ней должно быть?
Три варианта: проект заброшен, что-то пилят, полный успех — soundness proved.
Cat
ну это не формализация
Cat
и всё-таки странная градация, пилят довольно активно
Кабачок
А где сейчас пилят?
Cat
сейчас впиливают async/await в std
Кабачок
А то у меня ищется только всякое 15 года.
Nikita
Вон в скале трейтами называют что-то похожее на джавовские интерфейсы :) Но по факту разница между ними есть
Αλεχ
Cat
А то у меня ищется только всякое 15 года.
https://internals.rust-lang.org/t/rust-2018-an-early-preview/7776
Αλεχ
хотя похуй на твое определение