The type system and built‐in functions

In this section of the manual we will introduce Pipefish's type system, and the built-in functions and operations that go with the built-in types.

You may find it a little different from what you are used to, because it represents an attempt to squeeze the most use out of a dynamic type system; so far as I know its approach is paralleled only by Julia. However, the type system is very simple, and almost entirely flat. There is no inheritance. There are, indeed, no objects: a Pipefish struct is just an immutable container for data.

The following pages are in this section.

• Operations applicable to most types
• Simple types
• Container types
• Structs
• With and without
• Enums
• Clone types
• Abstract types
• Interface types, part 1
• Validation and parameterized types
• Type system diagram
• Type conversion and reflection
• Type aliases