Felix Tutorial
latest
Hello
Felix 101: The Basics
Felix 102: More Detail
Felix 102a: Regular Expressions
Felix 102b: File I/O
Felix 103: Polymorphism
Felix 104: C bindings
Felix 105: Nominal Types
Felix 106: Uniqueness Typing
Felix 107: Polymorphic Variants
Felix 108: Row Polymorphism and Subtyping
Subtyping Rules
Row Polymorphism
Felix 109: Objects and Plugins
Felix 110: Coroutines
Felix 111: Generalised Algebraic Data types
Felix 112: Compact Linear Types
Felix 113: Serialisation
Felix 114: Kinds
Felix GUI
Felix Tutorial
Docs
»
Felix 108: Row Polymorphism and Subtyping
Edit on GitHub
Felix 108: Row Polymorphism and Subtyping
ΒΆ
Subtyping and an alternative to subtyping for records with row variables.
Subtyping Rules
Records
Tuple and array subtyping
Polymorphic Variant Subtyping
Anonymous Sum Type Subtyping
Function subtyping
Abstract Pointer Subtyping
Machine Pointer Subtyping
Unique Subtypes
Subtyping with Nominal Types
Row Polymorphism
Polyrecord Parameters
Polyrecord values
Use with Objects