«object-oriented» etiketlenmiş sorular

Programlama dili perspektifinde alt tiplemenin anlamı nedir? "Kalıtım alt tip değildir" diye duydum. O zaman miras ve alt tipleme arasındaki farklar nelerdir?

15 pl.programming-languages  type-theory  type-systems  object-oriented 

Sahiplik türleri ve Ayrılma Mantığı benzer hedeflere, sahiplik ve diğer adlandırma üzerinde kontrole sahip gibi görünmektedir. Belki de eklemeliyim: modüler özellikler yazma yeteneği. Sahiplik türleri ile Ayrılma Mantığı arasındaki ilişki hakkında bilinenler nelerdir?

10 pl.programming-languages  type-systems  object-oriented  program-logic 

Bu, matematik SE forumunda sorduğum bir soru ve burada yönlendirildim. İşte soru- Hem resmi matematikte hem de teorik bilgisayar bilimlerinde yeniyim, bu yüzden sorumun doğru çerçevelenmediğini fark ederseniz lütfen yanımda olun. Nesneye Dayalı Modelleme, gerçek dünyayı simüle ederken karmaşık etkileşimlerin tanımlanmasında çok yararlı görünmektedir. Ancak daha çok programlamada kullanılır. Matematikte …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented