1
Bağımlı türler için tür çıkarımı belirsiz kılan şey nedir?
Bağımlı tip sistemlerin zorunluluk olmadığını, kontrol edilebilir olduğunu belirtti. Bunun neden böyle olduğuna dair basit bir açıklama olup olmadığını ve tiplerin değerlerle endekslenebildikleri “bağımlılık” sınırı olup olmadığını, hangi tip çıkarımın mümkün olduğu ve hangisinin altında olmadığını merak ediyordum.