Forwarded from Aleksandr Vershilov
case unsafeCoerce# (# (# 1::Int, 2 :: Int #), 3::Int #) of
(# a::Int, (# b::Int, s::Int #) #) -> print (a, b, s)а так ругается, при это очень странно
Forwarded from Aleksandr Vershilov
<no location info>: warning:
In the expression: (ds_s1m3
:: (# Int, Int #) ~R# Int),
ds_d1lW, ds_d1lX)
Unsafe coercion: between values with different # of reps
From: (# Int, Int #)
To: Int
In the expression: (ds_s1m3
cast (UnsafeCo representational (# Int, Int #) Int:: (# Int, Int #) ~R# Int),
ds_d1lW, ds_d1lX)
Unsafe coercion: between values with different # of reps
From: (# Int, Int #)
To: Int
Forwarded from Aleksandr Vershilov
(# a , b, c #) -> (# a, (# b , c #) #) - не ok
Forwarded from Leonid 🦇 Onokhov
https://blog.plan99.net/modern-garbage-collection-part-2-1c88847abcfd
Отличный пост, спасибо @A64m_qb0 за наводку
Отличный пост, спасибо @A64m_qb0 за наводку
Medium
Modern garbage collection: Part 2
A look at what the newest generation of Java GCs can do
Forwarded from Αλεχ Zhukovsky
хорошая статья: https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/
Oleksandr Manzyuk's Blog
From Object Algebras to Finally Tagless Interpreters
Last Saturday I gave a talk at kiev::fprog meetup. I really enjoyed the event, and taking the opportunity I would like to thank Vladimir Kirillov for organizing it. The slides of the talk can be fo…
Forwarded from pickle 🥒
Twitter
takahiro(John Smith)
My Rust+WASM NES emulator remote multiplay trial with WebRTC. Once you enter a room, share the URL with someone and start the game you want to play with them. Enjoy! https://t.co/COb7uyI1Aw #rust #rustlang #wasm #webassembly #webrtc #nes https://t.co/0M82NmzkDL
Hippolot:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7f18055e9f1fe1d7060dbd2b439812ad
Как исправить ошибку?
Snap of fingers:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=409e16596ede37da58702b5f72148bfc
magic
Denis:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7734d560254d6d051bd09124dfc8d8f1
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7f18055e9f1fe1d7060dbd2b439812ad
Как исправить ошибку?
Snap of fingers:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=409e16596ede37da58702b5f72148bfc
magic
Denis:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7734d560254d6d051bd09124dfc8d8f1
Трюки для ускорения компиляции
https://t.iss.one/rust_beginners_ru/42919
https://t.iss.one/rust_beginners_ru/42919
Telegram
Andrey @ozkriff Lesnikov in Rust Beginners
в общем, да, проверил
CARGO_TARGET_DIR=/home/ozkriff/tmp_target cargo install cargo-tree
если билдскрипты жести не делают, вполне себе работает и все артефакты складывает-ищет в нужной директории при сборке каких угодно проектов
CARGO_TARGET_DIR=/home/ozkriff/tmp_target cargo install cargo-tree
если билдскрипты жести не делают, вполне себе работает и все артефакты складывает-ищет в нужной директории при сборке каких угодно проектов
Αλεχ Zhukovsky, [16.12.19 00:23]
[In reply to U2227]
если тебе нужно выжать перфоманс, то лучше языка на сегодняшний день нет
Oleg Andreev, [16.12.19 00:25]
[In reply to Αλεχ Zhukovsky]
ну мне нужно криптографию надежно написать и чтоб она нормально интегрировалась с внешним миром. По последнему параметру - только си, цпп и раст годятся. И из них раст позволяет все выразить четко и ясно без мозгоепли.
Oleg Andreev, [16.12.19 00:26]
перформанс тут тоже полезен, но даже если б оно было в 2 раза медленнее цпп, все равно ок
Andrey @ozkriff Lesnikov, [16.12.19 00:27]
Плюсану, что на Ржавчине можно, в отличие от почти всех остальных безопасных языков, нормально написать библиотеку, которую можно будет без боли использовать из любых языков потом.
Boris Vinogradov, [16.12.19 00:28]
[In reply to Andrey @ozkriff Lesnikov]
причём даже не задумываясь о том что там внутри ржавчина
https://t.iss.one/rust_offtopic/126692
[In reply to U2227]
если тебе нужно выжать перфоманс, то лучше языка на сегодняшний день нет
Oleg Andreev, [16.12.19 00:25]
[In reply to Αλεχ Zhukovsky]
ну мне нужно криптографию надежно написать и чтоб она нормально интегрировалась с внешним миром. По последнему параметру - только си, цпп и раст годятся. И из них раст позволяет все выразить четко и ясно без мозгоепли.
Oleg Andreev, [16.12.19 00:26]
перформанс тут тоже полезен, но даже если б оно было в 2 раза медленнее цпп, все равно ок
Andrey @ozkriff Lesnikov, [16.12.19 00:27]
Плюсану, что на Ржавчине можно, в отличие от почти всех остальных безопасных языков, нормально написать библиотеку, которую можно будет без боли использовать из любых языков потом.
Boris Vinogradov, [16.12.19 00:28]
[In reply to Andrey @ozkriff Lesnikov]
причём даже не задумываясь о том что там внутри ржавчина
https://t.iss.one/rust_offtopic/126692
Telegram
Oleg Andreev in rust_offtopic
ну мне нужно криптографию надежно написать и чтоб она нормально интегрировалась с внешним миром. По последнему параметру - только си, цпп и раст годятся. И из них раст позволяет все выразить четко и ясно без мозгоепли.
Всем, кто не читает код, который реальную задачу не выполняет.
Например, нужно какой-то интеррапшен/ брэкет реализовать
А в го из общения файберов только ченнелы.
И вот кто-то читает статью или костылит сам какой-то интеррапшен с помощью специального одноразового ченнела и откладывание освобождения ресурсов на прокидывании ошибок в нём.
Потом пишет десять частных кусков кода, чтобы интеррапшен глубже прокидывать, каждый раз заново реализует.
Естественно, 1000 багов, естественно полноценно конкурентный код со всеми возможными сценариями отмен невозможно проверить тестами.
Абстрагировать всё это нельзя, потому что типы везде у ченнелов и ресурсов разные, а женериков нет
И вот ты открываешь эти лестницы из костылей и пытаешься понять, работает ли хотя бы один из них, и где тут между строками говна бизнкс-логика
Quet Zal:
context же
Oleg ℕizhnik:
Ну так если хоть сколько нетривиальная логика ресурсов, а точнее они вообще есть, его использовать нельзя
Quet Zal:
ну таймауты-интерапшены через него
логику ресурсов руками под каждый конкретный случай
и да, возможно в итоге получится более error-prone код чем если бы была какая-нибудь супер библиотека на типах, но прочитать и понять такой код будет проще
Например, нужно какой-то интеррапшен/ брэкет реализовать
А в го из общения файберов только ченнелы.
И вот кто-то читает статью или костылит сам какой-то интеррапшен с помощью специального одноразового ченнела и откладывание освобождения ресурсов на прокидывании ошибок в нём.
Потом пишет десять частных кусков кода, чтобы интеррапшен глубже прокидывать, каждый раз заново реализует.
Естественно, 1000 багов, естественно полноценно конкурентный код со всеми возможными сценариями отмен невозможно проверить тестами.
Абстрагировать всё это нельзя, потому что типы везде у ченнелов и ресурсов разные, а женериков нет
И вот ты открываешь эти лестницы из костылей и пытаешься понять, работает ли хотя бы один из них, и где тут между строками говна бизнкс-логика
Quet Zal:
context же
Oleg ℕizhnik:
Ну так если хоть сколько нетривиальная логика ресурсов, а точнее они вообще есть, его использовать нельзя
Quet Zal:
ну таймауты-интерапшены через него
логику ресурсов руками под каждый конкретный случай
и да, возможно в итоге получится более error-prone код чем если бы была какая-нибудь супер библиотека на типах, но прочитать и понять такой код будет проще