🔤 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification, Curry-Howard Correspondence, Hindley-Milner, Polymorphism

Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Creating Domain Types for Safer Code
dev.to·2h·
Discuss: DEV
🔒Linear Types
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Typst Examples Book
sitandr.github.io·2d
📝Concrete Syntax
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·34m·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
🔗Functional Compilers
To Bind and Loose a Reference
thephd.dev·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·16h·
Discuss: DEV
🧬Functional Programming
TypeScript: checking Map keys and Array indices
2ality.com·1d
🔗Dependently Typed
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·8h·
Discuss: Hacker News
🔗Functional Compilers
A very short book note
logicmatters.net·2d
⚔️Lean Theorem
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·2d
🧮Theorem Proving
Beyond switch-case: Type-safe Pattern Matching in TypeScript
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
I wrote my PhD Thesis in Typst
fransskarman.com·20m·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Program Synthesis is Interesting and Open
stephendiehl.com·20h·
Discuss: Hacker News
💻Programming languages