~/talk

Type safety from the database to the frontend

Talkat React Alicante 2023 · 2023-09-28..09-30· [typescript, databases]
slides:none on file

A library at databases generates TypeScript from SQL schemas and PG typed links query strings to precise result types so schema changes update types automatically. Codegen for GraphQL via graphql code gen and small custom generators for Rust and translations produce matching client and server types. Runtime parsing and serialization come from fun types and fun types schemas, and TS reset forces JSON to be validated. Demos show generators and runtime checks working end to end.

AI-written summary · about

  1. 0:00End-to-end type safety
  2. 1:53Database queries break type safety
  3. 3:19Types from database schemas
  4. 4:42Type-safe queries with PG-Typed
  5. 6:09API layers with GraphQL
  6. 7:13Custom GraphQL type generation
  7. 8:39Shared types for REST APIs
  8. 12:32Types for non-TypeScript backends
  9. 15:59Types from JSON files
  10. 19:12Runtime validation for APIs
  11. 20:38Runtime validation with Fun Types
  12. 23:53Parsing and serialization benefits
  13. 26:04TS Reset for JSON safety
  14. 27:51Type safety solutions
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.