Size: a a a

2021 May 28

AN

Alex Noname in rust_offtopic
блин тогда как эти завтипы работают не понятно. лол
источник

KR

Kai Ren in rust_offtopic
Когда растовик пишет проброс ошибок через FFI в другой язык, а потом там:

void exactHeight(int height) {
   _exactHeight(ptr.getInnerPtr(), height).unwrap();
}
источник

KR

Kai Ren in rust_offtopic
Можно спрятать Раст в FFI либу, но спрятать проект от Раст - невозможно.
источник

AN

Alex Noname in rust_offtopic
источник

AN

Alex Noname in rust_offtopic
раст фанбой пробивается через эфэфай ^^^
источник

KR

Kai Ren in rust_offtopic
А что не так? Ну пишешь пруфы не на тьюринг-полном языке. В чём проблема?
источник

AN

Alex Noname in rust_offtopic
нет я про этот прикол с завтипами. от чего они все таки зависят. Если (f x) != (f x).
источник

goldstein опять in rust_offtopic
(f x) = (f x) я думаю, оно всё-таки схавает, не запуская f
источник

AN

Alex Noname in rust_offtopic
мне тоже казалось что должно
источник

AN

Alex Noname in rust_offtopic
надо проверить
источник

AN

Alex Noname in rust_offtopic
тогда остается вопрос с IO. потому что если f : IO Int -> Int то как тогда
источник

AN

Alex Noname in rust_offtopic
у нас вообще в явном виде бывает инстанс IO или как с ним работать можно? только через монады / комбинаторы?
источник

SP

Stanislav Popov in rust_offtopic
насколько я помню ио внезапно не инстанс а сигнатура функции
источник

AN

Alex Noname in rust_offtopic
ну да, типа тайп конструктор как я понимаю.
источник

AN

Alex Noname in rust_offtopic
или глубже закопано как то?
источник

AN

Alex Noname in rust_offtopic
а может оно автоматически работает и не нужен никакой хак. Благодаря магии монад. Т.е. получается его и создать нельзя, и он просто какой то магией приходи в main уже созданный.
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
IO int как обычно
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
IO можно считать разновидностью асинка
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
вот представь что у тебя все ио: чтение с консоли, запись ... - асинхронное
источник

ΑZ

Αλεχ Zhukovsky in rust_offtopic
и у тебя везде асинк-авейты (пушто нету block_on ни в каком виде)
источник