H
слишком много сижу за комплюктером. можно схватить судороги в ногах если потянуть
Size: a a a
2021 May 04
V
H
это я
AN
Хм...
AN
Ну нужно как в хаскель для тайпкласов может.
AN
Там можно сделать матч допусти сначала a a = special потом a b = general. Как то так. Закрытые тацплклассы называется
AN
не реально есть ли std::is_same где то кроме с++?)
H
для зав типов это по очевидным причинам неразрешимо без спец. информации
AN
ну а что делать?
AN
как мне тогда сравнивать елементы списка
AN
может оно как то другими способами там обходится.
[
тем временем мой код на хаскеле
AN
типа пруф сам придумыывается и выкидывается
H
ΑZ
сначала покажи как у тебя список объявлен
AN
пока никак )
ΑZ
ну так сначала список, потом пруфы про него
AN
у меня еще языка нету
AN
а на какой идрис надо смотреть?