Translate types, using smart constructors.
-
Updated
Jul 21, 2020 - Scala
#
smart-constructor
Here are 6 public repositories matching this topic...
Case study in implementing domain-specific types
c-sharp data-validation biomedical-informatics ada type-safety case-study real-world-data domain-specific-models smart-constructor constraint-error domain-constraint
-
Updated
Jul 11, 2026 - C#
Full-stack modular validation ecosystem for Rust: Type-safe validation with automatic TypeScript/Zod schema generation, browser validation via WASM, serde integration, OpenAPI schemas, and web framework adapters (Axum, Actix, Rocket)
api rust http validation domain-driven-design web-services rocket serde error-handling schema-builder invariants derive proc-macro newtype actix schema-gen zod smart-constructor
-
Updated
Jan 7, 2026 - Rust
Case study in implementing domain‑specific types
data-validation ocaml biomedical-informatics ada type-safety api-design case-study real-world-data domain-specific-models smart-constructor constraint-error domain-constraint
-
Updated
Jul 11, 2026 - OCaml
Case study in implementing domain‑specific types
haskell data-validation biomedical-informatics ada type-safety api-design case-study real-world-data domain-specific-models smart-constructor constraint-error domain-constraint
-
Updated
Jul 15, 2026 - Haskell
Smart constructors for common mathematical invariants.
-
Updated
Jul 6, 2026 - Haskell
Improve this page
Add a description, image, and links to the smart-constructor topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smart-constructor topic, visit your repo's landing page and select "manage topics."