[
я вот этого понять не могу
Size: a a a
2021 May 09
[
всё, я понял
[
нам нужно "доказать", что у принимаемого значения у r есть нужные инстансы
[
для возвращаемого это не надо - если их не будет, нам просто не даст возвратить
к
всегда можно заменить => на -> просто, и тогда такие вещи становятся понятнее
можно даже сделать это тайпчекаемым таким образом
было
f :: Show a => a -> String
f x = show x
main = print (f 1)
стало
data Dict c = c => Dict
f :: Dict (Show a) -> a -> String
f Dict x = show x
main = print (f Dict 1)
можно даже сделать это тайпчекаемым таким образом
было
f :: Show a => a -> String
f x = show x
main = print (f 1)
стало
data Dict c = c => Dict
f :: Dict (Show a) -> a -> String
f Dict x = show x
main = print (f Dict 1)
[
Всё, у меня сошлось
[
безысходность выглядит так, да?
YS
Лучше в CS погоняй
JJ
Подскажите, чем можно удобно валидировать ввод?