DB
щит
Size: a a a
2020 November 29
DB
еще можно вот так:
if true then_else_, if_then 1 else_ и тд, насколько я помнювот это уже повеселее
DB
В репле проверил?
R
В репле проверил?
просто агдовый файл открыл
DB
каком репле
Агдовом
R
Агдовом
у нее "репл" — это каждая дырка
DB
Я просто пытался однажды чо-то сделать в репле агды)
> 2 + 2
YOU DIED
DB
норм
DB
Однажды обязательно вкачусь
MK
• Could not deduce (ReifyV ty) arising from a use of ‘TReturn’
from the context: (IntTy ty ~ IntTy ty1, ReifyV ty1)почему, если
IntTy инъективная?type family IntTy (ty :: LType) = (r :: Type) | r -> ty whereR
еще хочется чтобы T X, где T это семейство, а X это какое-то значение, не обрабатываемое T, возвращал не T X, а кидал ошибку, что X не хендлится T
a
оно же вроде не работает с последними гхц