ЗП
Int -> a -> String -> String (3)
a -> String (1)
[a] -> String -> String (2)
a -> String (1)
[a] -> String -> String (2)
Size: a a a
2021 January 16
AA
а вот почему show должен быть 2 не ясно
да, не должен, я тупанул просто
ЗП
а как ты такую картинку сгенерил?
MK
свои секретным тулом
ЗП
как использовать?
AA
в main пример использования
AA
никак не могу научиться предсказывать, когда теги проставляются
AA
в данном случае почему для S# есть а для словаря нет, они же оба статически аллоцированы
AA
хотя по разному
AA
я бы вообще ожидал, что до первой сборки ссылка на словарь будет через индерекшон
AA
хотя, нету никакой гарантии, что ни одной сборки не было еще
AA
хотя не должно, Sh 2 это же тоже CAF получается
AA
кровь из глаз
токсично!
ЖК
А возможно ли сделать что-то вроде дизъюнкции констрейнтов?
Например:
Например:
instance Or (ISO a b) (ISO b a) => MyClass a b whereЗП
А возможно ли сделать что-то вроде дизъюнкции констрейнтов?
Например:
Например:
instance Or (ISO a b) (ISO b a) => MyClass a b where
AV
А возможно ли сделать что-то вроде дизъюнкции констрейнтов?
Например:
Например:
instance Or (ISO a b) (ISO b a) => MyClass a b whereПочему не сделать
и
instance (ISO b a) => ISO a bи
instance (ISO a b) => MyClass a bJS
А возможно ли сделать что-то вроде дизъюнкции констрейнтов?
Например:
Например:
instance Or (ISO a b) (ISO b a) => MyClass a b whereтам выше грязный хак, но вообще так не надо делать, потому что когда результат компиляции одного модуля зависит от наличия импортов в десятом, — это плохо