АХ
аа ааа
а можно хранить что то, тип чего я не знаю? Как void*
А как использовать то, тп чего не знаешь?
Size: a a a
2020 June 26
AV
написать на него указатель?
AV
собрать гц-ом?
AV
передать тому, кто знает?
аа
да
AV
найти его инфотабл
аа
но тут скорее нужно просто рекорд параметризовать и всё
D
у меня Any после тайпскрипта ассоциируется со злом
AV
в отличии от таймскрипта где ты с any можешь сделать всё
AV
Тут ты не можешь сделать примерно ничего
D
причем я с ним столкнулся впервые, когда типы не сходились, и идея показывала тип как any
D
страшная хрень
YS
в отличии от таймскрипта где ты с any можешь сделать всё
это по началу знакомства с хаскелем ломает голову
YS
что, если где-то написано, что это может быть чем угодно, то значит, что ничего нельзя толком сделать с этим
TA
Так тебе не важно, а тому кто пользуется твоим кодом важно
А если его кодом пользоваться не будут?
Мне кажется если очевидно,что его юзать никто кроме самого программиста не будет,то не зачем все усложнять...
Мне кажется если очевидно,что его юзать никто кроме самого программиста не будет,то не зачем все усложнять...
AV
что, если где-то написано, что это может быть чем угодно, то значит, что ничего нельзя толком сделать с этим
Ага
TA
Вопрос:
Почему haskell кидает ошибку :
could not deduce (Monoid b) arising use of sequence...
Ведь в определении sequence никакие моноиды не фигурируют...
Почему haskell кидает ошибку :
could not deduce (Monoid b) arising use of sequence...
Ведь в определении sequence никакие моноиды не фигурируют...
AV
вполне возможно у твоего типа instance Monoid m => Applicative (Foo m)