2
Bağımlı türler alt yazmanın yaptığı her şeyi size veriyor mu?
Türler ve Programlama Dilleri altyazıya biraz odaklanır, ancak söyleyebildiğim kadarıyla altyazı özellikle temel görünmüyor. Alt yazı, bağımlı türlerden daha fazla bir şey veriyor mu? Bağımlı tiplerle çalışmak daha fazla iş demektir, bu yüzden alt tiplerin pratikte neden yararlı olabileceğini anlayabiliyorum. Ancak, matematiğin temeli olarak tip teorisi ile programlama dillerinin temeli …