Hacker News with Generative AI: Type Safety

Go and Java: Rethinking Type Safety for the Pragmatic Age (rohan.ga)
I want to explore where mainstream programming languages are headed, using Java and Go as my primary subjects.
Programming Languages, Software Development, Type Safety, Go, Java
40 points by ocean_moist 7 days ago | 61 comments
Sqlc: Compile SQL to type-safe code (sqlc.dev)
sqlc generates fully type-safe idiomatic code from SQL.
SQL, Programming, Type Safety, Code Generation, Databases
232 points by wsc981 86 days ago | 104 comments
TypedSQL: Make your raw SQL queries type-safe with Prisma ORM (prisma.io)
SQL, Databases, Programming, Type Safety, Prisma
12 points by eampiart 98 days ago | 0 comments
Using Jai's Unique and Powerful Compiler for Typesafe Units (forrestthewoods.com)
Programming Languages, Compilers, Type Safety
11 points by forrestthewoods 193 days ago | 1 comments
Type Safety Doesn't Matter (2023) (fpcomplete.com)
Type Safety, Programming Languages, Software Development
20 points by lemper 222 days ago | 24 comments