Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

2020 May 04

VS

Vladimir Shchur in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Тем что нет проверок?
проверок нету, но хкт есть)
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladimir Shchur
ну так чем это не хкт?
Это не хкт, это экзистенциальные типы называется
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Т.е. тут идея в том, что у тебя либо Arc<Mutex<...>> должен владеть всеми данными внутри себя, то есть должен содержать Vec<String>.

Либо у тебя треды должны жить ограниченное время и быть созданы через какой-то scoped.

И да, если ты через Mutex ничего не меняешь, а только читаешь, то надо задуматься, а нужен ли именно Mutex
по идее - не нужен Mutex, я тоже думал что раз только читаю нафиг он не нужен, это пришло уже через какое то время попыток
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladimir Shchur
проверок нету, но хкт есть)
Это читается, как существует тип ? (но он не известен), который засунут в Option
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
вот без mutex-a
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Если что кстати, никто не против что тут раст ?)
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
мб я кому-то мешаю своим не-дотнетом
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
мб я кому-то мешаю своим не-дотнетом
Пока не анкап - норм
источник

VK

Viacheslav Koryagin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Пока не анкап - норм
Ну зачем? Ты же диёра саммонишь
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Viacheslav Koryagin
Ну зачем? Ты же диёра саммонишь
Он вроде умер
источник

IC

Iλyα Che in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Наоборот.
источник

VK

Viacheslav Koryagin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Он вроде умер
Серьёзно? Тогда F
источник

IC

Iλyα Che in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Да не умирал он. Еглифу отвечал.
источник

I

Igor in F# Flood: ПДД made functional, making illegal state INGIBDDdale
да его забанили
источник

VS

Vladimir Shchur in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Это не хкт, это экзистенциальные типы называется
окей...
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
вот без mutex-a
Ну опять таки, у тебя тред который живёт неизвестно сколько (потенциально бесконечно), замыкается на ссылку на строку (&str), которая живёт ограниченное время.
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Ну опять таки, у тебя тред который живёт неизвестно сколько (потенциально бесконечно), замыкается на ссылку на строку (&str), которая живёт ограниченное время.
осознал, поменял, запустил ,победа
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
осознал, поменял, запустил ,победа
Ага, теперь альтернативный вариант - попробуй сделать scoped тред через тот же crossbeam и передать туда ссылки.
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
щас все по порядку, я сначала разобью это на n воркеров ,а не как сейчас на кол-во строк
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
осознал, поменял, запустил ,победа
Т.е. тут тебе пришлось копировать память, чтобы &str в String перевести, а в варианте со scoped можно попробовать без этого обойтись
источник