Hacker News with Generative AI: Type Safety

Hyper Typing (pscanf.com)
Lately I’ve been trying out a few libraries that - in pursuit of perfect type safety - make their typings so complex that it makes them almost unusable, in my opinion. I call this approach hyper-typing, and I worry it’s becoming a trend in the TypeScript ecosystem.

TypeScript, Software Development, Programming, Type Safety

102 points by azhenley 5 days ago | 78 comments

Goenums: Type Safe Enum Generator for Go (github.com/zarldev)
goenums addresses Go's lack of native enum support by generating comprehensive, type-safe enum implementations from simple constant declarations.

Go, Programming Languages, Software Development, Type Safety, Enums

33 points by PaulHoule 27 days ago | 47 comments

Sqlc: Generate type-safe code from SQL (github.com/sqlc-dev)
sqlc generates type-safe code from SQL.

SQL, Type Safety, Code Generation, Programming Languages, Databases

5 points by todsacerdoti 37 days ago | 0 comments

Making WebGL typesafe in Idris 2 (drbearhands.com)
I’d wanted to learn Idris for a while, and see how far I could realistically take type-safety. In particular, can I ensure all documentation of the WebGL spec is encompassed in types? (thus achieving correctness-by-construction).

Programming Languages, WebGL, Type Safety

6 points by srid 55 days ago | 0 comments

Type safe variadic printf (stranger.systems)
While C can provide "convenient" string formatting by having hideously unsafe variadics, and dynamic languages, like python, can do the same, many type safe languages, such as Rust, are forced to provide such functionality through the use of a macro. Dependently typed languages, like Idris, can provide a printf like formatting interface, while maintaining both memory and type safety, without the need for macros. We will explore this by implementing a simplified version of printf in Idris from scratch.

Programming, Idris, Type Safety, Function Programming, C

20 points by todsacerdoti 98 days ago | 5 comments

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 136 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 178 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 257 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 269 days ago | 0 comments

Using Jai's Unique and Powerful Compiler for Typesafe Units (forrestthewoods.com)