Basics of subtyping
0
0
0 vistas·
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.
Mostrar más
0 Comentarios
sort Ordenar por
