оно мне день жизни съело

()<$ вместо void лучше

тоже недостаточно же?

это ж не const () <$!> ?

Нет.

но и const () <$!> тоже может быть недосточно

в общем я сделал заменую when на Control.Monad.when если у нас там m ()

посмотрим

уже второй раз блин на это натыкаюсь, но первый был не важным и я тупо забил

спецализации же уже не умеют принимать костомную реализацию, только rule?

умеют вроде

Я помню народ просил полиморфный when и им отцы объясняли что на самом деле они не хотят

@fizruk31337 вот я помню что давно было, но вроде потом = выпилили

@lonokhov вот я бы тоже так сказал, у меня глаза каждый раз за него цеплялись, но доводов не было

или какой-нить INLINE 10 на него повесить

@fizruk31337 вот я помню что давно было, но вроде потом = выпилили

а не, смотрю, где я пользовался, там RULE

вот мне кажется что лет 7 назад решили унифицировать

RULE для своих реализаций SPECIALIZE для автоматических

да, видимо так

а какая разница для тебя?

SPECIALIZE проще выглядит

если бы он умел я бы им воспользовался, но смыслу оно правильнее подходит

{-# RULES "myFunc/Int" myFunc = myFuncInt #-}

как-то так вроде, не сложно, мне кажется

там когда типы надо выписывать явно всегда для меня путаница

ну для юзкейса типа specialize всегда же можно выписать тип в специализированной реализации

в примере выше — для myFuncInt

чет у меня правило не сработало сходу

@fizruk31337 в общем-то я ж как спросил правило сразу написал, если бы сказали что в SPECIALIZE есть поменял бы

http://prntscr.com/gzqwvr

победил

это похоже на проблему неоднозначности if then elsif else если я правильно понимаю, но наверное у неё есть и более общее название.

спасибо

именно внимательный взгляд на эту грамматику все расставил по полочкам

@serghei_k что-то нагуглилось по if-elsif-else ?

да я просто посмотрел на elseif и понял что это и есть case

а break у меня и так реализован в контексте loop/for и пр

Привет! Кто читал Окасаки и Functional Pearls на Русском, как оно вообще? Порекомендовали бы Русское издание?

@serghei_k что-то нагуглилось по if-elsif-else ?

https://www.lysator.liu.se/c/ANSI-C-grammar-y.html

это помогло

есть такое дело - допустим, авторы какого-то пакета определили для своих типов тайпкласс FromJSON, и не определили ToJSON допустим, мы хотим их типы где-то сохранять в JSON. Простое определение ToJSON приводит к тому, что decode (encode x) == Nothing

вопрос - можно ли как-то дешево сделать свои инстансы FromJSON / ToJSON для этих библиотечных типов, что бы они нормально сериализовались?

не меняя сам код библиотеки

newtype?

по хорошему инстанс должен быть в модули(и пакете, как следствие) с типами

это дешевое и надёжное

newtype?

это к вопросу о том как сделать, чтобы не сломалось, если в пакет добавят ToJSON инстанс

да никак, можно сделать какой-нить тест кейс на TH который вывалится если добавят

а с newtype не сломается

этот тип содержит значения других типов, с которыми такая же история - для кого-то есть ToJSON, для кого-то нет

ну безопасно только так

небезопасно сделать свой Missing module

и там все определить

тогда весь код импортирующий Missing все сделает

то, что спростое определение ToJSON приводит к Nothing говорит о том, что decoder ожидает не то, что дает encoder

ну так и есть

т.е. нужно или newtype где определить совместимые или сделать ToJSON совпадающий с тем, что от тебя ждут

ну т.е у меня задача - тупо сериализовать "чужие" типы, лучше всего в json

какой JSON ждут - это вообще за гранью -тем более, что может поломаться

т.е задача ведь обобщается на всю сериализацию - сделаю свои инстансы Serialize, а они возьмут, и прикрутят их в следующей версии

получается, что в таких случаях надо всегда делать собственные типы-обёртки?

и использовать только их?

да

или только чужие

но при этом, есть такой пакет json, который умеет делать json представление для любого Generic

и я так понимаю, однозначным образом

Я думаю, что вполне можно делать и инстансы сироты в своих приложениях, общедоступные библиотеки с сиротами лучше, конечно, не делать

в своем коде с сиротам вопрос обычно только в том, как их грамотно реэкспортировать

ну тут даже не в этом проблема, а в том, что, скажем, в сторонней библиотеке есть FromJSON

но нет ToJSON

а когда делаешь свой, то надо или вручную генерить инстанс, что бы с ним работал "их" FromJSON . В общем, надо вероятно оборачивать своими типами и traverseBi перестраивать "их" дерево в своё

или еще как

если они TOJSON генерят TH из аэсона, то должно работать, если они его в ручную пишут, то можно посмотреть что они делают и вручную соотвествующий инстанс написать

ну а потом они в другой версии поменяют и привет

вручную генерят

но вопрос пожалуй более глобальный - нормально вообще сериализовать "чужие" типы?

да, но тут ничего не поделать, фактически они формат сериализации меняют

получается, что не очень, если только авторы сами не написали инстансы для своих типов

т.е в контракт модуля не входит сериализация/десериализация

ну а потом они в другой версии поменяют и привет

можно сделать на TH ассерт, который будет decode . encode = id проверять

если уж заморачиваться

ну, тут дешевле уже трансформировать типы в свои и уже их сохранять