|
|
f3e3b8c77b
|
Add comprehensive architecture documentation
Document the type-driven design and functional architecture:
Principles Covered:
1. Parse, Don't Validate - Type-safe wrappers with validation
2. Correctness by Construction - Illegal states unrepresentable
3. Dependency Injection - Pure core with injected dependencies
4. Functional Core, Imperative Shell - Separation of concerns
Documentation Includes:
- Design principles with examples
- Module structure and layering
- Data flow diagrams
- Testing strategy
- Type safety guarantees
- Design patterns used
- Future enhancement possibilities
- Performance considerations
Key Insights:
- SqlQuery enforces SELECT-only at compile time
- Zero-cost abstractions (newtypes compile away)
- 100% pure core testable with mocks
- Clear separation of deterministic/non-deterministic code
- Type-level proofs prevent runtime errors
|
2025-11-15 15:44:25 -08:00 |
|
