Source code: Lib/pickle.py The pickle module implements binary protocols for serializing and de-serializing a Python object structure. “Pickling” is the process whereby a Python object hierarchy is...| Python documentation
Types as axioms, or: playing god with static types| lexi-lambda.github.io
Parse, don’t validate| lexi-lambda.github.io