AZ
вроде того
Size: a a a
2020 August 02
KR
О, ты читаешь, как им пользоваться?
Type driven developent in Idris
YS
О, ты читаешь, как им пользоваться?
Мне хватило примера с зацикленным типами вчера
AZ
Мне хватило примера с зацикленным типами вчера
что за пример?
KR
А есть?
Ну и proriv_zaparti телеграм канал
YS
что за пример?
Сейчас найду
Т8
ок, а как мне добавить интерфейс к std::vector чтобы я мог передавать вектор в функции которые от него ожидают чего-то? Например, в сишарпе нет интерфейса для чисел. Как мне написать интерфейс IAdd и реализовать для всех чисел?
ну воспользуйся любым из указанных. Думаю, лучшим совпадением чаще всего будет IComparable
YS
что за пример?
AZ
Т-34 85
ну воспользуйся любым из указанных. Думаю, лучшим совпадением чаще всего будет IComparable
покажи мне код который складывает два любых числа используя IComparable
AZ
ну это не типы зацикленные ,а взаиморекурсивные функции
YS
Ой
YS
Да
AZ
там по идее даже кейворд mutual должен быть
YS
ну это не типы зацикленные ,а взаиморекурсивные функции
Как компилятор не зависает?
AZ
Как компилятор не зависает?
без кейворда должен зависать) А с ним он проверяет что они друг другакорректно вызывают
YS
без кейворда должен зависать) А с ним он проверяет что они друг другакорректно вызывают
Утверждают, что это валидный код
H
там по идее даже кейворд mutual должен быть
+
X
Что за идрис?
H
хотя там же where