КП
Привет.
portnov
вечер
Size: a a a
2021 May 25
КП
Как дела?
c
portnov
так
так
c
Minoru
portnov: для LockGuard реализован trait Deref, который при необходимости превращает LockGuard T в ссылку на T (в синтаксисе Хаскеля не могу это выразить, в синтаксисе плюсов это T& LockGuard<T>::deref()). Т.е. все методы T доступны на LockGuard T, и ты вообще не замечаешь присутствие LockGuard
portnov: для LockGuard реализован trait Deref, который при необходимости превращает LockGuard T в ссылку на T (в синтаксисе Хаскеля не могу это выразить, в синтаксисе плюсов это T& LockGuard<T>::deref()). Т.е. все методы T доступны на LockGuard T, и ты вообще не замечаешь присутствие LockGuard
t
У меня просто несовместимость какая-то была по апи. Токио протух или ещё что-то
c
Minoru
@winged_pegasus: утро!
@winged_pegasus: утро!
t
Я не хотел разбираться, решил код писать
t
Ну, код чтения чиселки из стдаута ты видел
c
portnov
Minoru: а, ну то есть LockGuard только технически тебе обещает отпустить блокировку в конце, на уровне языка ты это обещание нигде не видшь.
Minoru: а, ну то есть LockGuard только технически тебе обещает отпустить блокировку в конце, на уровне языка ты это обещание нигде не видшь.
c
Minoru
@ttldtor: пару лет назад фьючи впилили в std и все на них переезжали, и там и правда был момент, когда что-то уже совместимо с std, а что-то всё ещё требует крейт futures, и приходилось быть аккуратным, чтобы пользоваться только «правильной» частью экосистемы. В этом году я писал что-то на reqwest и уже такого не замечал, всё ок компилится
@ttldtor: пару лет назад фьючи впилили в std и все на них переезжали, и там и правда был момент, когда что-то уже совместимо с std, а что-то всё ещё требует крейт futures, и приходилось быть аккуратным, чтобы пользоваться только «правильной» частью экосистемы. В этом году я писал что-то на reqwest и уже такого не замечал, всё ок компилится
c
Minoru
portnov: не понимаю разницу между «технически» и «на уровне языка»
portnov: не понимаю разницу между «технически» и «на уровне языка»
c
O01eg
Minoru: Доказательство отсутствия дедлока, скорее всего в том, что можно залочить только мутекс A, только мутекс B, или только мутекс A после мутекса B
Minoru: Доказательство отсутствия дедлока, скорее всего в том, что можно залочить только мутекс A, только мутекс B, или только мутекс A после мутекса B
c
Minoru
@ttldtor: да, читать чиселки из стдина уже не модно, во всех новых языках с этим капец
@ttldtor: да, читать чиселки из стдина уже не модно, во всех новых языках с этим капец
c
Akon32
O01eg: а что мешает в разных потоках мьютексы в разном порядке лочить?
O01eg: а что мешает в разных потоках мьютексы в разном порядке лочить?
c
O01eg
Вот если так делать, то будут дедлоки
Вот если так делать, то будут дедлоки
c
Akon32
думаешь, на расте нельзя так сделать?
думаешь, на расте нельзя так сделать?
КП
чпк
c
O01eg
Так раст не защищает от дедлоков
Так раст не защищает от дедлоков
c
Minoru
Akon32: можно. Портнов как раз спрашивает, можно ли было бы это предотвратить с помощью типов
Akon32: можно. Портнов как раз спрашивает, можно ли было бы это предотвратить с помощью типов