что не показали?

там есть пример с foo

это rank-2 type

надо картинки rank-2, 3, 4

чтобы наглядно было а не (n-1) argument but no arguments of any higher rank.

ну там же наверное есть немного скалистов

foo :: (forall b. b -> (forall a. a -> a) -> (b,Bool)) -> (b,Bool)

как-то так rank3 будет

foo :: (forall b. b -> (forall a. a -> a) -> (b,Bool)) -> (b,Bool)

кстати есть ситуации где без higher-rank не обойтись?

я просто думаю в poica пихать или нет

да, для реализайции койонеды нужно

ладно, значит не нужно

))) примерно так

но выше ранк-2 это только мне кажется специфический код

и когда так получается случайно

у жсона свой тулинг у бинарных протоколов свой, для жсона нужно иметь схемы или openapi, иначе тестировщики не разберутся что им слать через postman. И эти схемы тоже надо поддерживать, из JSON тоже можно бояться убирать deprecated поля если нет понимания кто ими может пользоваться (@Psilon). В случае протобафа делимся с тестировщиками proto файлами и они могут на удобном для них языке получить клиент для сервиса. Про то что прото-сообщение можно сконвертить в жсон для отладки уже писал. В кишки GRPC лазить не приходилось, с этой стороны проблем не встречалось

Мне приходилось

Не самое приятное занятие но оно того стоило

Кто юзал вебсокеты для общения с фронтом?
Как можно тестировать, что сервер не лажовый и не залочится через пять запросов?

Просто я сейчас просто открываю десять js вкладок и в них тыкаю на кнопочки и смотрю, что все работает, но это наверное как-то не очень, да и "реальную" нагрузку все равно не потестить.

у нас есть l3 чуваки которые в постмане руками жсон набирают, что им в случае протобафа делать?

Хотя наверное можно заготовить готовый джаваскрипт и смотреть что там и как.