Hacker News with Generative AI: Types

Types and Programming Languages (cis.upenn.edu)
Types, Programming Languages, Computer Science
41 points by MrBuddyCasino 13 days ago | 9 comments
In Search of Types (2014) [pdf] (humprog.org)
Programming, Types, Theory, Computer Science, Research
16 points by fanf2 16 days ago | 3 comments
Ada's dependent types, and its types as a whole (nytpu.com)
So I like to joke occasionally on the Fediverse that when looking at Wikipedia's list of programming languages supporting dependent types:
Programming Languages, Dependent Types, Types, Fediverse, Wikipedia
256 points by nytpu 21 days ago | 139 comments
Tjq: Giving Types to Jq (github.com/alpaylan)
Giving types to jq
Programming, Tools, Software, JSON, Types
48 points by thunderbong 56 days ago | 7 comments
How linear types control the future and prevent bugs [video] (youtube.com)
Programming, Software Engineering, Types, Linear Types, Video
12 points by matt_d 63 days ago | 0 comments
Fear Not the Association of Types (gavinleroy.com)
Programming, Types, Software Development
55 points by todsacerdoti 153 days ago | 15 comments
What the heck are reverse mapped types? (andreasimonecosta.dev)
Programming, Types, Software Development
88 points by PaulHoule 157 days ago | 21 comments
Types as Interfaces (two-wrongs.com)
Types, Interfaces, Programming Languages, Software Development
159 points by todsacerdoti 179 days ago | 194 comments
Evolving languages faster with type tailoring (lambdaland.org)
Programming Languages, Software Development, Types, Language Design
11 points by ashton314 184 days ago | 0 comments
A Type for Overload Set (biowpn.github.io)
Programming, Software, Types, Set Theory
13 points by aw1621107 199 days ago | 4 comments
Ergonomic Self-Referential Types for Rust (yoshuawuyts.com)
Rust, Programming Languages, Software Engineering, Types
7 points by jandeboevrie 200 days ago | 0 comments