Size: a a a

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

2020 May 04

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladimir Shchur
я тут пытаюсь юзкейс показать) когда казалось бы чтобы вызвать функцию Option.exists мне достаточно знать тип контейнера, но ты не можешь просто переменную z в фшарпе типизировать Option<?>
а, это про HKT?
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
Переслано от Denis Bobrov
Коллеги, у меня вопрос -
почему компилятор от меня хочет 'static ?
Вроде заюзал Arc, Mutex, все по науке
А ещё лучше, засунуть туда не с ссылку на слайс, а именно что vec
источник

VS

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

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
Переслано от Denis Bobrov
Коллеги, у меня вопрос -
почему компилятор от меня хочет 'static ?
Вроде заюзал Arc, Mutex, все по науке
эти аннотации делают код нечитаемым чет
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
понял, да, иллюстрация годная
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
А ещё лучше, засунуть туда не с ссылку на слайс, а именно что vec
куда туда ?
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
куда туда ?
В Mutex
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
scoped убрали из std
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
scoped убрали из std
Есть аналоги в либах
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
scoped убрали из std
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Это я нашел да..
Такс ща посмотрим
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
история о том как я решил сразу взять hard и exercism-а по расту
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
Это я нашел да..
Такс ща посмотрим
Ну ещё попробуй засунуть значения без ссылок в Mutex
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
let counter = Arc::new(Mutex::new(*input));
                                     ^^^^^^ doesn't have a size known at compile-time
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
=/
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
the size for values of type [&str] cannot be known at compilation time
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
the size for values of type [&str] cannot be known at compilation time
Потому что тебе надо это именно в вектор скопировать.
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
аа я понял
источник

DS

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

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
аа я понял
И &str тебе надо в String тогда тоже перевести
источник