MB
Самый простой пример - ты хочешь сделать структуру, которая можнт быть многопоточной, а может быть однопоточной.
Size: a a a
2020 June 05
MB
В одном случае тебе нужно всякие Arc<RwLock>, в другом Rc<RefCell>
MB
Ну и HKT позволят сделать это без копипаста.
V
^
MB
Можно даже подддерживать пользовательские Rc-шечки.
DO
V
и без всяких фича гейтов
DF
В одном случае тебе нужно всякие Arc<RwLock>, в другом Rc<RefCell>
Хороший пример
MB
По идее, хорошим примером будет lib.rs/once-cell
G
Мой demux-stream был бы с монадами не только для стримов
p
Мой demux-stream был бы с монадами не только для стримов
только
MB
100%, что с HKT можно будет сделать одну реализацию и для многопоточного, и для однопоточного
𝚙
А вот да, подскажите простым языком, для чего нужны типы высших порядков?..
чтобы жить
DF
А gat прокатит для всего этого?
MB
Dollar Føølish
А gat прокатит для всего этого?
Насколько я понимаю, да.
V
пример из статьи николаса матсакиса о том, как это могло бы выглядеть и зачем нужно:
fn floatify_hkt<I<_>>(ints: &I<i32>) -> I<f32>
where for<T> I<T>: Collection<T>
G
С GAT немножко не монада
p
Мой demux-stream был бы с монадами не только для стримов
как бы ты выразил async fn в стримах и обычный fn в итераторах?
𝚙
все читали кстати?