Size: a a a

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

2020 May 04

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Если этого не хочется делать, то тогда лучше реально Scope взять
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
а, это про HKT?
нет, это не про хкт
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladimir Shchur
вот я что-то такое имел ввиду)
Some (box x)
Some (box y)
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
вот это делает джава когда возвращает Option<?>
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
и ты так делай
источник

VS

Vladimir Shchur in F# Flood: ПДД made functional, making illegal state INGIBDDdale
что-то сомнительно)
источник

VS

Vladimir Shchur in F# Flood: ПДД made functional, making illegal state INGIBDDdale
А, или она при доставании из ? делают всегда анбокс?
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladimir Shchur
А, или она при доставании из ? делают всегда анбокс?
анбокс???)
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
там нет валуе типов
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
это просто каст
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
хотя не
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
там есть примитивы
источник

VS

Vladimir Shchur in F# Flood: ПДД made functional, making illegal state INGIBDDdale
как я помню джава может легко из Option<?> кастовать в Option<T> и обратно, ну и понятно в конкретные типы
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladimir Shchur
как я помню джава может легко из Option<?> кастовать в Option<T> и обратно, ну и понятно в конкретные типы
Ну конечно может)
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Если этого не хочется делать, то тогда лучше реально Scope взять
да, я начал пробовать и чет пздц
он все еще хочет 'static для String потому что counter (который Arc<Mutex>) use-after-free
источник

DS

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

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

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

VS

Vladimir Shchur in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
Ну конечно может)
ну так чем это не хкт?
источник

AH

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

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
да, я начал пробовать и чет пздц
он все еще хочет 'static для String потому что counter (который Arc<Mutex>) use-after-free
Что именно он пишет?
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Это просто обжект
источник