Login
From:
METASTATE
(Uncensored)
subscribe
A Gentle Introduction to Dependent Types | PLT Research at METASTATE
https://research.metastate.dev/a-gentle-introduction-to-dependent-types/
links
backlinks
Tagged with:
plt
Dependent types languages allow to enhance the expressiveness of your code, thereby increasing the errors the compiler can catch (at compile time).
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
