AA
смутно припоминаю
Size: a a a
2020 November 20
AA
но как-то иначе вроде
2020 November 21
R
нет, на агде чет делать не интересно, там не так много ограничений в которые интересно вписываться, зато куча ограничений с которыми возиться совсем уже неинтересно
на агде можно конвертнуть определение типа данных в какой-нибудь специальный тип данных
а еще можно элиминаторы так дерайвить или там
Desc, описывающий типы данных, и получить например эквивалент deriving Eq забесплатно, просто один раз определив Eq для подмножества типов данных, выразимых в Desc. Типа как женерики в хаскеле, но вместо классов просто старая добрая рекурсия по значению типа Descа еще можно элиминаторы так дерайвить или там
Show или еще чтоa
на агде можно конвертнуть определение типа данных в какой-нибудь специальный тип данных
а еще можно элиминаторы так дерайвить или там
Desc, описывающий типы данных, и получить например эквивалент deriving Eq забесплатно, просто один раз определив Eq для подмножества типов данных, выразимых в Desc. Типа как женерики в хаскеле, но вместо классов просто старая добрая рекурсия по значению типа Descа еще можно элиминаторы так дерайвить или там
Show или еще чтону да, ты ещё не познал агду, пока не написал на ней генерики
YR
есть ф-ция (`:: IO Something`), она бросает исключение, которое ловится фреймворком, которому я могу установить хендлер исключения (`:: SomeException -> IO ()`), а он у меня логирует ошибку. Как сделать так, чтоб в этом хендлере у меня была инфа про трассу (execution stack исключения), чтоб я мог и ее логировать ?
MK
Никак
YR
вот блин.
AV
Тебе на постоянной основе или для отладки?
AV
Для отладки -xc может помочь
YR
а на постоянной? Скорее на постоянной бы..
YR
даже не скорее, а точно на постоянной :)
AV
Для обычной ситуации никак или смотреть что там c libdw
AV
Щас попробую найти входные точки
YR
спасибо!
AV
Тогда можно функцию обернуть в то, что дёрнет Трейс в случае ошибки
AV
Но это Linux only боюсь
MK
Фигасе, не слышал о таком
YR
воротит
Nothing