Basics of subtyping
0
0
0 المشاهدات·
06/21/23
In this episode, I discuss a few of the basics for what we expect from a subtyping relation on types: reflexivity, transitivity, and the variances for arrow types.
أظهر المزيد
0 تعليقات
sort ترتيب حسب
