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 |
 |
||||
|
Copyright © 2019 David J. Pearce - All Rights Reserved 51 queries. 0.601 seconds. |
|||||
