Linker Unsafe
220 subscribers
182 photos
24 videos
18 files
859 links
Собираю ржавые и лямбдообразные новости, прикольные цитатки с форумов, ссылки на статьи и всё такое. В-общем, сюда я тащу такие крупицы, которые мне будет жаль потерять в цифровой бездне. Возможно, они покажутся интересными и вам.

Фи сюда: @nlinker
Download Telegram
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
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 Aleksandr Vershilov
(# a , b, c #) -> (# a, (# b #), c #) - ok
Forwarded from Aleksandr Vershilov
(# a , b, c #) -> (# a, (# b , c #) #) - не ok
Channel name was changed to «Nick's Selected stuff»
Channel name was changed to «Nick's selected stuff»
Αλεχ 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
Forwarded from Aikidos
Forwarded from Aikidos
это как сейчас в го видят "женерики"