Там есть функции, let/in и паттерн-матчинг

Я думаю, это решается макросами для перечислений

Гляди, у меня задача переложить пару джсонов, а на сцену уже вышли макросы

Если мне нужно тяп-хуяп, я выберу serde_json::Value. Если мне нужно строить долгоживущее приложение, я обмажусь #[derive(Serialize, Deserialize)] и прочими аттрибутами, чтобы обеспечить типобезопасность и интеграцию с IDE. ЯЗыки со статической типизацией позволяют перемещаться по "уровням типизации": от Any до serde_json::Value до моих тайп-чекед структур.

Решение на динамическом питоне всё ещё выглядит так:

try:
    field1 = data['with']['long']['path'][0]['five']
    field2 = data['with']['parameters']
    if field2['type'] == 'param1':
        field3 = data['for']['param1']
   else:
        field3 = data['for']['param2']
    return [
        checked_cast(str, field1),
        checked_cast(int, field2),
        checked_cast(bool, field3)
    ]
except (LookupError, CastingError):
    log.error("Bad answer from API: %s", data)
    return None

try:
    field1 = data['with']['long']['path'][0]['five']
    field2 = data['with']['parameters']
    if field2['type'] == 'param1':
        field3 = data['for']['param1']
   else:
        field3 = data['for']['param2']
    return [
        checked_cast(str, field1),
        checked_cast(int, field2),
        checked_cast(bool, field3)
    ]
except (LookupError, CastingError):
    log.error("Bad answer from API: %s", data)
    return None

На serde_json::Value примерно также

Нет, тебе придётся разворачивать Option на каждый .get()

Разве нетотальных методов нет в serde_json::Value?

«Нетотальные методы» в serde_json::Value не будут паниковать?

Есть некая разница между обработкой эскепшнов и паник

Нетотальные наоборот будут паниковать. Вот, например, индексация по квадратным кавычкам будет паниковать

В этом и проблема. Я же хочу, чтобы у меня программа при плохом ответе не упала кишками наружу, а залогировала некий плохой результат и вернула 500 юзеру.

Я, конечно, могу делать catch_unwind, но это уже как-то ну такое

Лол, нет, они не паникуют, они возвращают нулл

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

Плохой динамический язык: попытка сделать 1[1] должна бросать эксепшн.

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