You write code at the entry point that might fail. Perhaps it returns either structured data or an error. From that point on, you can work only with structured

You write code at the entry point that might fail. Perhaps it returns either structured data or an error. From that point on, you can work only with structured data and the type-system will help you. You might be able to generate a parser from a schema.