Makes me think of another mnemonic for subtyping: S <: T when id : S -> T is well-typed.

"Our language comes with a subtyping relation T <: S that tells when it is safe to use elements of T in a context that expects elements of S."

Sign in to participate in the conversation

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !