MK
module M where
import M type as T
data Foo = Foo {...}
makeLenses 'T.FooSize: a a a
2020 June 02
MK
почему многие учителя хаскеля говорят, что punning ведёт к confusion?
MK
я не помню чтобы это было проблемой когда я учил...
MK
надо попробовать кого-нибудь поучить и посмотреть
_:
Как в серванте лучше организовать такое?
Дать body тип Value и декодить его во что-то в зависимости от значения reqType совсем плохо? Или можно как-то подобное лучше сделать?
data CRUD = C | R | U | D
-- body that we get from a post request
data Req a = { reqType :: CRUD, body :: a }
Дать body тип Value и декодить его во что-то в зависимости от значения reqType совсем плохо? Или можно как-то подобное лучше сделать?
MK
ммм завивисимые пары
MK
Как в серванте лучше организовать такое?
Дать body тип Value и декодить его во что-то в зависимости от значения reqType совсем плохо? Или можно как-то подобное лучше сделать?
data CRUD = C | R | U | D
-- body that we get from a post request
data Req a = { reqType :: CRUD, body :: a }
Дать body тип Value и декодить его во что-то в зависимости от значения reqType совсем плохо? Или можно как-то подобное лучше сделать?
сделай gadt
задолбаешься инстансы писать конечно
CRUD -> Typeзадолбаешься инстансы писать конечно
_:
В идеале хотелось бы это на уровне типов серванта сделать
_:
Без мануального декодирования
MK
ну так если у тебя будет такой гадт с инстансом FromJSON, пихаешь его в
ReqBody и всёMK
параметр остаётся свободным, в хендлере паттерн-матчишь
MK
стоп
MK
что за бред
MK
(хватит читать тайплевел пропозалы видимо)
QZ
Как в серванте лучше организовать такое?
Дать body тип Value и декодить его во что-то в зависимости от значения reqType совсем плохо? Или можно как-то подобное лучше сделать?
data CRUD = C | R | U | D
-- body that we get from a post request
data Req a = { reqType :: CRUD, body :: a }
Дать body тип Value и декодить его во что-то в зависимости от значения reqType совсем плохо? Или можно как-то подобное лучше сделать?
один эндпоинт который принимает 4 разного вида структуры?
MK
сделай просто сумму для Req?
_:
один эндпоинт который принимает 4 разного вида структуры?
Да
MK
а как ты это предполагаешь? декодировать по очереди и "кто первый успешно декодировался"?
так там тег есть, похоже