надо будет попробовать протащить его в наш билдрут

авось что выйдет

не в 15м?

а что там с корутинами? они ж вроде сказали что пусть комьюнити плиз корутины

ну то есть вот сейчас я бы брал раст везде где до этого хотел бы взять c++ )

не могу просто выразить, как мне осточертело писаьь на сишке

и си

до крови из носу просто.

а что там с корутинами? они ж вроде сказали что пусть комьюнити плиз корутины

Ну, компании и напилило

https://blog.rust-lang.org/2015/05/15/Rust-1.0.html

Ну, компании и напилило

В итоге 100500 реализаций

надо DPI на расте перепилить, хаха.

все равно его весь рефакторить надо

не в 15м?

1.0 в 15 gc выпилили в 13

а, потерял контекст

@etehtsea а ты кстати до сих пор пишешь на ur/web?

@quetzal это кто-то другой :)

надо DPI на расте перепилить, хаха.

Ты тоже роскомнадзор делаешь?

@voidlizard а стрипни свой бинарник на расте?

уже стрипнутый

wtf

300 кил стал

как-то в первый раз недострипал, значит

@mtreskin не, я QoS делаю для роутеров

что б торренты ютюб не обижали

т.е реально, нестрипнутый - 3 мегабайта, стрипнутый - 300 килобайт

ничосе.

ну ладно, допустим ок

@voidlizard и советую раст ставить через rustup там тулчейны переключать в одну команду (с nightly на stable например)

ну вроде и так.

теперь осталось собрать им что-нить для мипса

если это вообще возможно

он llvm-ный?

ага

это проблема... ладно посмотрим

т.е реально, нестрипнутый - 3 мегабайта, стрипнутый - 300 килобайт

Статическая компиляция, фигли

Статическая компиляция, фигли

А? )

это проблема... ладно посмотрим

а что, llvm под мипс так и не завезли?

у нас gcc-шный билдрут

А? )

Всё всобачивается в бинарник, кроме libc

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

потому что сам бинарник без них 300кб

у нас gcc-шный билдрут

так вам не все равно чем компилировать?

в смысле если компилировать llvm а линковать gcc

не знаю, раньше был musl и это могло вызвать проблемы, сейчас нормальный libc или uclibc не помню

вот кстати хотел спросить за uclibc

если у вас он

линкер в расте от gcc так что вам может и подойдет на мипсах этих )

ну да, я гляну прямо вот скоро

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

т.е это я на x86 хаскелист, а на мипсах я уже чему угодно рад кроме си плюсов и го

а на го пробовал?

не, брезгую

это без меня

оно конечно своеобразное такое но в рамках get shit done годится

плюс жирные бинарники

жирные, факт

а жирные бинарники нельзя. рам не проблема, проблема флешка

есть модели, где флешка 4 мегабайта

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

а туда нужна линуксня и куча всякого прочего стафа

помимо самой тулзы.

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

всегда удивляло.. эти флешки по 4гб — это производитель закупил 10 лет назад и никак потратить не может?

ща кажется объемов уже таких нет

я не знаю,, тот же вопрос задаю

они еще и nor

не nand

ну точно закупили оптом 100 лет назад и никак не потратят )

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

очень может быть, кстати

ну или тупо контракт

с производителем

те дают сладкую цену, а эти обязуются покупать по стлько-то пароходов в год

Есть мнение, что это просто самое дешевое, что можно достать в Китае

Есть мнение, что это просто самое дешевое, что можно достать в Китае

паяют из обрезков нормальных флешек? )

паяют из обрезков нормальных флешек? )

Ну да

http://www.haskellforall.com/2017/02/the-curry-howard-correspondence-between.html

о, сегодняшняя статья

посмотрел статью, посмотрел dhall. не понимаю зачем он занялся этим dhall (ну или скорее зачем он в этой статье). ну и true = (), false = void это всё знакомо (для тех кому не знакомо наверное найдутся получше статьи) а пример как доказывать теории на хаскеле я не нашёл. ну то есть примерно представляю процесс: проходится тайпчек и значит доказано. ∀(a : Type) → a → a для начала: куда это писать?