What is Type-Level Programming?

Lobsters·8 points·adamshaylor·over 3 years ago·blog.sulami.xyz

Read the full article at blog.sulami.xyz →

#type #level #programming #level programming #type level #plt #type level programming

Related stories

Flix - The Elegance of Functional Programming with the Conciseness of Logic Programmingflix.github.io
Lobsters · 11 points · about 10 years ago
Singeli: High-level domain-specific metaprogrammin language for low-level progragithub.com
Hacker News · 2 points · 9 days ago
Ask HN: How to Learn Systems Programming
Hacker News · 1 points · 9 days ago
Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
Lobsters · 8 points · about 9 years ago
Small joys of programming in Odinzannzen.com
Lobsters · 19 points · about 3 years ago
The Future of Programming (2013)youtube.com
Lobsters · 3 points · over 3 years ago

Related topics

jev349 safe31 theory32 type theory4 type safe4 let43 typescript41 programming300 everything43 written43 x2f300 level47