AZ
причем оно будет на самом деле работать, без believe_me
Size: a a a
2020 August 05
AK
в том, откуда требование ToString взялось и что мне надо использовать чтобы этот метод появился?
Из тела шаблона взялось. Считай, сдедюсилось. Если хочешь как в расте используй static_assert и std::is_base_of с кастомным сообщением об ошибке, что T должен имплементить такой-то интерфейс.
AZ
ну и наконец, параметричность это важно
DF
Что такое параметричность
KR
то что они позволяют творить магию - это не плюсы шаблонов, а минусы раста и шарпа. Возьми генерики в системе с нормальными типами как идрис и такой разницы не будет
полунин же недавно вроде приводил пример с мапой фунок, в который идрис не смог, не?
AZ
Alexander Krivitskiy
Из тела шаблона взялось. Считай, сдедюсилось. Если хочешь как в расте используй static_assert и std::is_base_of с кастомным сообщением об ошибке, что T должен имплементить такой-то интерфейс.
ну вот я хочу чтобы компилятор мне везде сам это расставлял и появнял. То есть да, можно получить лучшее сообщение об ошибке. Почему бы не иметь лучшее чем худшее?
AZ
полунин же недавно вроде приводил пример с мапой фунок, в который идрис не смог, не?
data HeterogenMap : Type -> (keytoVal : keyType -> Type) -> Type
FooType : String -> Type
FooType "a" = Int -> Int
FooType "b" = String
FooType _ = Void
foo : HeterogenMap k FooType
Ты про это? даа, не смогAK
ну вот я хочу чтобы компилятор мне везде сам это расставлял и появнял. То есть да, можно получить лучшее сообщение об ошибке. Почему бы не иметь лучшее чем худшее?
Мин 15 макрос написать, чтобы чекать баунды подобно расту.
в
Вообще удобство нужно считать по времени затраченному с использованием инструмента а не с тем что говорят люди об этом инструменте
время это не единственный ресурс, который тратят люди
AZ
Dollar Føølish
Что такое параметричность
когда можно судить о области возможных значений функции исходя из сигнатуры
AZ
например у функции
total T -> T ровно одна реализацияKR
data HeterogenMap : Type -> (keytoVal : keyType -> Type) -> Type
FooType : String -> Type
FooType "a" = Int -> Int
FooType "b" = String
FooType _ = Void
foo : HeterogenMap k FooType
Ты про это? даа, не смогон рабочий?
DF
время это не единственный ресурс, который тратят люди
++
AZ
он рабочий?
в
Dollar Føølish
Что такое параметричность
это когда
forall x . x -> x у тебя населён единственным представителемв
грубо говоря
DF
Параметричность это здорово
DF
Буду теперь топить за параметричность
AK
ну вот я хочу чтобы компилятор мне везде сам это расставлял и появнял. То есть да, можно получить лучшее сообщение об ошибке. Почему бы не иметь лучшее чем худшее?
Так куда лучше уже? У тебя в шаблоне написано, что у типа T должен быть метод ToString(). Ты же не прописывешь что ToString должен быть из какого-то конкретного интерфейса. Тебе компилятор говорит, что у int нет такого метода. Чего ещё надо?