AH
Во, уже все написали
Size: a a a
2021 July 10
P
Я когда-то разбирался с суаве (и даже понял), насколько помню если хандлер вернул Some значит всё, реквест обработан, иначе идёт следующий
P
Всё просто, замутки в жирафе с next ради перфоманса
PD
А, тогда, получается, в суаве нет жирафовского skip? И его наличие как раз позволяет в перф?
P
Не понял что skip в жирафе делает
PD
Как я понял, он используется во всяких choose, а также, если прокинется на самый верх, позволяет скипнуть обработку жираф хендлерами, и отдать обработку аспу, в остальные миддлвари
P
Как я понял, у суайва более простая идея - хандлер вернул Some - всё реквест обработан. Иначе следующий хандлер в пайплайне. В жирафе идея та же, но ради перфа чуть сложнее, передают next в частности
P
Может в жирафе больше наворотов (глубоко в детали не вникал) но схема построения обработки в суайве видится покрывающей все нужное
PD
Понял. Спасибо за разъяснения
PD
https://github.com/giraffe-fsharp/Giraffe/issues/69
https://github.com/giraffe-fsharp/Giraffe/pull/71
Кажется именно начиная с этого момента они переключились на текущий вариант. Раньше было
https://github.com/giraffe-fsharp/Giraffe/pull/71
Кажется именно начиная с этого момента они переключились на текущий вариант. Раньше было
type HttpHandlerResult = Async<HttpContext option>, прямо как в суаве
type HttpHandler = HttpContext -> HttpHandlerResult
K
На самом деле, у монад нет общей для всех монад распаковки вида
Которую как раз можно написать и для списка (
Зато есть общая у-паковка
unwrap : 'a M -> 'a, а есть распаковка "в следующую коробку", в формеandThen : 'a M -> ('a -> 'b M) -> 'b M,Которую как раз можно написать и для списка (
flatMap) и для Const (просто выкинуть продолжение).Зато есть общая у-паковка
pure : 'a -> 'a M. Распаковка есть у комонад, но там вообще всё с точностью до наоборот.P
https://dusted.codes/functional-aspnet-core
В блоге как раз описано как от суайв хандлера шли к жирафному
В блоге как раз описано как от суайв хандлера шли к жирафному
K
Потому что если потребовать от монады метода
Попробуй вынуть
Да, из каждой монады по отдельности можно что-то вынуть или как-то использовать, но обобщённого способа нет.
extract : 'a M -> 'a, то большинство монад отвалятся или будут кидаться ошибками.Попробуй вынуть
'b из ('a, b') Const или из 'a -> 'b (монады по 'b) функцией именно этой ('a M -> 'a) сигнатуры.Да, из каждой монады по отдельности можно что-то вынуть или как-то использовать, но обобщённого способа нет.