Hacker News with Generative AI: Types

How linear types control the future and prevent bugs [video] (youtube.com)
Programming, Software Engineering, Types, Linear Types, Video
12 points by matt_d 5 days ago | 0 comments
Fear Not the Association of Types (gavinleroy.com)
Programming, Types, Software Development
55 points by todsacerdoti 95 days ago | 15 comments
What the heck are reverse mapped types? (andreasimonecosta.dev)
Programming, Types, Software Development
88 points by PaulHoule 99 days ago | 21 comments
Types as Interfaces (two-wrongs.com)
Types, Interfaces, Programming Languages, Software Development
159 points by todsacerdoti 121 days ago | 194 comments
Evolving languages faster with type tailoring (lambdaland.org)
Programming Languages, Software Development, Types, Language Design
11 points by ashton314 126 days ago | 0 comments
A Type for Overload Set (biowpn.github.io)
Programming, Software, Types, Set Theory
13 points by aw1621107 141 days ago | 4 comments
Ergonomic Self-Referential Types for Rust (yoshuawuyts.com)
Rust, Programming Languages, Software Engineering, Types
7 points by jandeboevrie 143 days ago | 0 comments