Ho scoperto che quando viene eseguito quanto segue, il modulo json di python (incluso dalla 2.6) converte le chiavi del dizionario int in stringhe.
>>> import json
>>> releases = {1: "foo-v0.1"}
>>> json.dumps(releases)
'{"1": "foo-v0.1"}'
Esiste un modo semplice per conservare la chiave come int, senza la necessità di analizzare la stringa durante il dump e il caricamento. Credo che sarebbe possibile utilizzare gli hook forniti dal modulo json, ma ancora una volta questo richiede ancora l'analisi. C'è forse un argomento che ho trascurato? applausi, chaz
Domanda secondaria: grazie per le risposte. Visto che json funziona come temevo, esiste un modo semplice per trasmettere il tipo di chiave magari analizzando l'output dei dump? Inoltre dovrei notare che il codice che esegue il dumping e il codice che scarica l'oggetto json da un server e lo carica, sono entrambi scritti da me.