> Nonmatching styles can be mostly solved with linting and static analysis

Only syntactical styles. Style also include things like how I want errors to be propagated, how failures are to be handled, etc.