Login
Roast topics
Find topics
Find it!
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
Roast topics
Find topics
Roast it!
Dependent types languages allow to enhance the expressiveness of your code, thereby increasing the errors the compiler can catch (at compile time).
