8
Bir programlama dilinde alt tip olması için bir sebep var mı?
Bir alt tip, öncelikle matematiksel tip teorisinde ortaya çıkan bir yapıdır. Ayrıca boş tip olarak da adlandırılır. Değeri olmayan bir türdür, ancak tüm türlerin bir alt türüdür. Bir işlevin dönüş türü, alt tür ise, bu geri dönmediği anlamına gelir. Dönemi. Belki de sonsuza dek sürüyor, ya da bir istisna atıyor. …