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

У меня была идея запилить haskell-like синтаксис для раста и транслятор

лучше видимо идрис-лайк

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

лучше видимо идрис-лайк

а разница? основа одинакова

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

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

Это не то же самое, в идрисе нет нормальных регионов

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

В идрис коде я ничего не понимаю, не смотря на опыт писания на агде даж

Доставка качественных товаров известного бренда Haskell в Москву и регионы России погуглил....

там не только в регионах проблема

от позооооор забыл что ?Sized это безразмерный :(

еще в расте непонятно что с лайфтаймами делать

как только гдето рисуется лайфтайм, его надо распихивать во все использующие типы

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

а если лайфтайм нужен "такой как в соседнем поле структуры" то еще не заимплеменчено

предложение по пурскрипту/идрису было никудышное

короче на расте надо программировать как на си, все что надо быстро пишем на си, остальное на lua/guile/python

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

потому как иначе все обрастает Rc<RefCell<T»

потому что все равно все сводится к динамической типизации...

Десятое правило Гринспена

Вон я уже вчера уперся в Rc<RefCell<Any»

со словами "потом перепишу"

потому что все равно все сводится к динамической типизации...

нет, не сводится

Это не то же самое, в идрисе нет нормальных регионов

зефиров вон вообще считает что раст можно заменить хоарообразной стейтманаткой :)

в идрисе кстати вон уже QTT-стайл линейные типы есть, любопытно насколько сложно те регионы сделать поверх

короче на расте надо программировать как на си, все что надо быстро пишем на си, остальное на lua/guile/python

ну либо всё пишем на расте

вообще с растом одна проблема, 10 минут думаешь идею, 10 минут пишешь, 4 часа сражаешься с тайп-чекером....

мм. да это по началу только так

короче на расте надо программировать как на си, все что надо быстро пишем на си, остальное на lua/guile/python

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

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

плюсую

lua и python не dsl, guile я хз что

https://www.getgutenberg.io/

Это уже постили? я не помню

а в телеграмме поиск работает?

я не нашел не единого упоминания этой ссылки

ясно

https://github.com/cirs/cirs

Не густо

зато как он основательно

к оформлению репы подошёл

https://github.com/cirs/cirs/blob/master/src/lib.rs

в идрисе кстати вон уже QTT-стайл линейные типы есть, любопытно насколько сложно те регионы сделать поверх

Но ведь в идрисе есть ГЦ и от него не избавиться, нет? Умозрительно сейчас мне кажется, что можно написать mltt-based ЯП без ГЦ, но я не уверен. НЯП стек-бейзед идиллию порушит первый же универсум

посоны

накиньте хороших статей по токио

с подходами использования, лучшего понимания принципов работы и тд

плес

с подходами использования, лучшего понимания принципов работы и тд

tokio.rs

Читал?

https://github.com/kennytm/rfcs/blob/inline-semantic/text/0000-inline-semantic.md

Читал?

ну это не то

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

https://github.com/kennytm/rfcs/blob/inline-semantic/text/0000-inline-semantic.md

найс

Короч посоны

потребна key/value база, на расте есть чо нить простое в этом роде?

потребна key/value база, на расте есть чо нить простое в этом роде?

rocksdb

Таки да, на расте особо нет ничего. Все дистрибьютед делается поверх рокс/левелдб. Есть ещё поделие на расте с базовым функционалом K/V

rocksdb

встроенная

базовый k/v

встроенная

Ну встроенная и k/v

Подходит

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

Есть sled на чистом расте, но он сырой пока еще

rocksdb требует для себя rocksdb я чот посмотрел на байдинг существующий

чот не особо доверие внушает если честно

rocksdb требует для себя rocksdb я чот посмотрел на байдинг существующий

Ну требует да, но он же вместе с ним компилируется

Так что в чем проблема

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

Юзай фс как K/V

Пихай имги по хешам. Эт ж все равно кеш?

ну кстати тоже как вариант

let path = url.into_cache_path(); let file = load_file(path).unwrap_or_else(||download_url(url)); Как-то так

Попробовал я этот ваш токио

душе не представляя как надо писать правильно

в итоге у меня все работает

но выглядит как блядская лапша

https://gist.github.com/friktor/473e203c5de3ff360649bfe8150a0e4f

Как это говно можно сделать чище?

Это нормально

в итоге у меня все работает

но выглядит как блядская лапша

Практика показывает что, есть два варианта: либо писать конечные автоматы самому, разбивать всё на логические модули. Либо ебашить лапшу из цепочек