программируя на скале

[juan_gandhi]

Сегодня трахался с одной фигней. И вот код ходит куда-то на сервер, а приносит в ответ "неправильный json". Шо за json, я ничего такого не посылаю. А ошибка приходит. Стал изучать вопрос. А чо он неправильный, а там http4s берет какой-то Message[T], пытается из него сделать ByteBuffer, и обламывется, т.к. ByteBuffer оказывается пустой. Из чего он делается - Message состоит из каких-то Fragments; и вот один фрагмент пустой.

Что за фрагмент, чо он пустой, непонятно, но внутри его сидит SingleChunk, в котором сидит Chunk, и про него известно, что он пустой. Ну окей, ну покажите мне, что было-то. А не показывают. Там, конечно, цикл, но цикл навалян через рекурсию (типа так круче), а рекурсия оптимизирована через трамплин. В результате стектрейса нету, промежуточные данные не видны, Message не виден, потому что это макрос. А откуда вызвали, тоже непонятно, потому что трамплин, и весь стектрейс проебан.

И вот каким-то чудесным образом я где-то замечаю, что сервер-то послал HTTP 400. Ну правильно. И, конечно, в таком случае никакого джейсона. Но http4s на это все кладет с высокой колокольни, и начинает "парсить джейсон".

Ну на эту тему даже тест есть. Только этот тест не ловит HTTP 400, а ловит ошибку. Ага, ошибка! Ура. 

Такие дела.
 

А внутри cats, свободные монады, IO монада, завернутая в EitherT. 

А смысл?! Если HTTP 400 вы не ловите.

Что-то после раста все это смешно выглядит.

 

Comments

[sassa_nf]

HTTP 400 is allowed to have a body, and content-type is allowed to declare it a application/json.

[juan_gandhi]

Right, of course; but if there's none, it's not an error in the data format (and in general, an empty body is not a "malformed json").

[sassa_nf]

Not sure about an empty body being a well-formed JSON.

[juan_gandhi]

it is not. It is a missing JSON, not a malformed one.

[sassa_nf]

I see this as a case of EOF before a well-formed JSON could be decoded. Not sure why it deserves special treatment.

Now, why it thinks JSON should be there. Maybe the server filled the headers first, in anticipation what the type of response is going to be, then later figured out the request is malformed, and aborted with HTTP 400 (Bad Request) without having cleared the header.

If the headers don't say that, then, of course, the client-side pipeline is broken.

[juan_gandhi]

Well, if HTTP 400 is totally lost by the client and not returned to the caller, it's a bug, whatever the Json state inside. For a 404 the message can be just anything, a picture of kittens or whatever. A Json only makes sense when we have HTTP 200.

[sassa_nf]

If you have a HTTP error code, you might want to have some diagnostic detail to go with it. We routinely do that ("IP ranges in the provided array overlap!"), so there is something to show in the UI, for example.

[sassa_nf]

or return cross-tier correlation id, so you can correlate the logs.

[juan_gandhi]

Well, of course. Basically, blockchain technology (and I remember fido doing the same) is necessary. Trace the transaction.

[juan_gandhi]

Sure; good idea. But nobody said it would be a valid json.

[xacid]

особенно "хороша" здесь ио монада - за что боролись на то и напоролись ... :)

[juan_gandhi]

Монады умеют, программировать не умеют. То Тони Моррис и смеется с них.

[sab123]

А я, между прочим, давно говорил про все эти монады-рекурсии и удобство отладки.

Непонятно только, что, неужто на Расте нельзя взять пустой буфер?

[juan_gandhi]

Я тут не раст критиковал вообще-то.

[sab123]

Это я понял. Я не понял, каким образом конкретный язык программирования не даст программисту использовать пустой буфер?

[juan_gandhi]

В данном случае проблема была не в языке, а в ебанутой библиотеке. Но в скале все веб-фремуорки ебанутые. Я обычно их не использовал, а сам сервер рисовал, там строк десять всего писать-то.

[yucca]

А я на днях некоторое время пыталась понять, почему на совершенно невинную просьбу сохранить текст сервер мне выдает 500 Internal Server Error, который в логах никак не отражается. Оказалось, там у ModSecurity такое правило - считать подозрительными все строчки, в которых фигурирует update, set и =, независимо от того, что между ними.

[juan_gandhi]

How about `drop table`...

[yucca]

Это другое правило, я еще не проверяла, насколько оно хорошо сработает с текстом типа "I dropped a glass on the table" :)

[caztd]

> Что-то после раста все это смешно выглядит.
Эээ.. так и до плюсов докатиться можно ;)

[plovski]

> А внутри cats, свободные монады, IO монада, завернутая в EitherT.

А вам уже говорили, что когда ваши труды по пропихиванию монадушек в массы увенчаются успехом - массы вам такое небо с овчинку functional style устроят, что вы проклянете тот день когда впервые услышали о монаде?

Ну так вот вам первые ласточки, enjoy.

[juan_gandhi]

Да; похоже на то.

"Монада - это вычисление с побочными эффектами. Например, Option - это вычисление, у которого не всегда есть значение".

Это все как бы умники несут. Я не знаю, если им всем рассказывать, какие они тупые... вот у вас красиво получается, а мне как-то неудобно.

[plovski]

Монада - это вычисление с побочными эффектами

ох-хохо...

ну что ж - brace yourself for impact

[juan_gandhi]

Да уже.

Сегодня какой-то долбоеб впаривал machine learning ranking, и там у него flatten в одной из коробочек блок-схемы.