Size: a a a

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

2020 May 04

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
ну так народ знает своих героев в лицо
не, я там не очень активный
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
а какой кейс примерно ?
Например, когда ты хочешь, чтобы ассоциированный тип в трейте был параметризован лайфтаймом:

trait MyTrait {
 type MyType<'a>;
 fn do_something<'a>(&'a self, other: SomeOtherType<'a>) -> Self::MyType<'a>;
}
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
а какой кейс примерно ?
Это можно обходить, но ценой неудобств в процессе этого
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Мммм т е у типа который имплементит трейт, не было проблем с лайфтаймом из-за 'a ?
источник

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
Мммм т е у типа который имплементит трейт, не было проблем с лайфтаймом из-за '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
Переслано от Denis Bobrov
Коллеги, у меня вопрос -
почему компилятор от меня хочет 'static ?
Вроде заюзал Arc, Mutex, все по науке
источник

DS

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

SB

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

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
кокой это язык?
Это раст
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
S B
кокой это язык?
Ржавый
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Где именно он 'static хочет?
на input
источник

VS

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

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
input - &[&str], добавить ему 'static по условиям задачи не получится
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Vladimir Shchur
вот я что-то такое имел ввиду)
так тут типы ж сломаны
источник

SB

S B in F# Flood: ПДД made functional, making illegal state INGIBDDdale
у экспрешина противоречивый тип
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
input - &[&str], добавить ему 'static по условиям задачи не получится
Я не вижу код целиком, но кажется что проблема в этом:

Потому что тебе надо, чтобы это значение жило как минимум столько, сколько живут треды.

А такие треды живут неизвестно сколько, поэтому нужен 'static
источник

DS

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

VS

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