My previous post on structural subtyping generated quite a few comments over on reddit. There were a lot of mixed opinions as to the pros and cons of having a [[structural type system]] instead of a [[Nominal typing|nominal type system]]. To help me digest and ponder it all, I thought I’d discuss the main . . . → Read More: The Case Against Structural Subtyping … ?
An interesting challenge with [[Structural type system|structural subtyping]] is that of efficient implementation. In particular, without care, it may be impossible to determine a static offset for each field in a structure at runtime, meaning every field access will require a dictionary lookup. In this post, I’ll review the problem and outline one alternative . . . → Read More: One Approach to Efficient Structural Subtyping