Caroline Morton

Posts tagged: Typestate Pattern

All Posts Health Data (18) Data (16) Rust (14) PhD (13) Synthetic Data (13) Reproducibility (11) Open Science (8) Systems Programming (8) Software Reliability (7) Data Pipelines (6) Electronic Health Records (6) Errors (6) Women in Rust (6) Data Privacy (5) Machine Learning (5) SNOMED (5) Codelists (4) AI (3) Bias (3) Data Science (3) Design Patterns (3) Epidemiology (3) Readability (3) Scientific Software (3) Data Quality (2) Privacy Metrics (2) Replicability (2) Utility Metrics (2) Adapter Pattern (1) Builder Pattern (1) Code Review (1) Data Validation (1) Databases (1) Fairness (1) Functional Programming (1) GANs (1) Health Tech (1) ICD-10 (1) Maintainability (1) Mental Models (1) Observability (1) OMOP (1) OPCS (1) Privacy (1) Representativeness (1) Research Code (1) Scientific Computing (1) Serde (1) SurrealDB (1) Testing (1) Type System (1) Typestate Pattern (1) Vector Search (1) Women in Tech (1)

The Typestate Pattern: Moving Checks into the Compiler

Learn how to use the typestate pattern in Rust to make missing required fields a compile error instead of a runtime one. Building on the builder pattern, this post shows how to encode construction state in the type system so invalid records cannot be built at all.