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
Next Previous

© Copyright 2017, John Skaller and others Revision 3fb47168.

Built with Sphinx using a theme provided by Read the Docs.