DS
как и в хаскелле
Привет unsafePerformIO
Size: a a a
2020 December 31
p
мне надо сделать метод fn fork<T, U>(T<U>) -> T<T<U>>
DS
в идрисе эффект пропагейтиться же и в сигнатуре будет висеть IO
И в расте можно сделать свою std под это
H
ябнаписал если бы шарил
+
H
Привет unsafePerformIO
unsafe кричит что unsafe
H
а тут никто не кричит
p
мне надо сделать метод fn fork<T, U>(T<U>) -> T<T<U>>
вот кстати НКТ по иеди решило бы проблемы с разделением референсов и умных указателей
DS
а тут никто не кричит
Как и в котах, на это пофигу тем кто берет ФП экосистему в изначально не ФП языках
H
блять нужно НКТ
имитируй?
p
просто делаешь реализации для T<U> где T: Pointer
DS
а тут никто не кричит
И через no_std можно сделать так, чтобы кричало
p
имитируй?
я хочу охватить все умные указатели
H
Как и в котах, на это пофигу тем кто берет ФП экосистему в изначально не ФП языках
то есть изначально с экосистемой для этого пофигу?
H
хм
H
тогда я могу также в Си сделать
H
и написать операционную систему с контролем эффектов
А
и написать операционную систему с контролем эффектов
и что это даст?
H
и что это даст?
исполнение моей мечты
DS
тогда я могу также в Си сделать
Такой подход в си работать не будет, т.к. уникальных типов нет