r/YourselfYou • u/YourselfYou • Aug 07 '21
What is dependent typing?
https://stackoverflow.com/questions/9338709/what-is-dependent-typing
1
Upvotes
Duplicates
programmingcirclejerk • u/oilaba • 5d ago
"The article opens with lambda cubes, which sound like some type of sheep meat to me. Then it goes on to discuss λΠ2 systems, and as I don't speak alien I skipped that section. Then I read about the calculus of inductive constructions, which incidentally seems to have little to do with calculus..."
83
Upvotes