Hacker News with Generative AI: Type Theory

Sets, types and type checking (kaleidawave.github.io)
In the process of building a type-checker I have learnt a lot of the details about the theory of types and sets. With all this information I thought I would unpack all the details I have encountered along the way.
Programming, Type Theory, Sets
118 points by kaleidawave 22 days ago | 33 comments
How the OCaml type checker works (2022) (okmij.org)
Programming, Type Theory, OCaml, Compilers
219 points by mooreds 95 days ago | 42 comments
Data types as Lattices – Dana Scott [pdf] (github.com/CMU-HoTT)
Data types, Mathematics, Programming Languages, Type Theory
34 points by ozb 104 days ago | 5 comments
Evolving languages faster with type tailoring (lambdaland.org)
Programming, Language Design, Software Development, Type Theory
5 points by ashton314 118 days ago | 1 comments
A reckless introduction to Hindley-Milner type inference (2019) (reasonableapproximation.net)
Programming, Computer Science, Type Theory
140 points by nequo 150 days ago | 43 comments
Deriving Dependently-Typed OOP from First Principles (arxiv.org)
Programming Languages, Object-Oriented Programming, Type Theory
172 points by matt_d 151 days ago | 18 comments