Hacker News with Generative AI: Type Safety

Encore – Back end framework for type-safe distributed systems (encore.dev)
🚀 Launch Week Dec 9-13: See all the new features
Distributed Systems, Type Safety, Programming Languages
11 points by swyx 11 days ago | 1 comments
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 52 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 132 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 144 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 238 days ago | 1 comments
Type Safety Doesn't Matter (2023) (fpcomplete.com)
Type Safety, Programming Languages, Software Development
20 points by lemper 267 days ago | 24 comments