Skip to content
jinko docs
Custom types in jinko
Initializing search
GitHub
jinko docs
GitHub
jinko programming documentation
Language
Language
The jinko programming language
Variables
Types
Types
Built-in types
Custom types in jinko
Custom types in jinko
Table of contents
Declaration
Instantiation
Type obligations
Multi types
Standard library
Standard library
Documentation
Writeups
Writeups
WU0000: Design
WU0001: Error handling in jinko
WU0002: Canonicalization and generics in jinko
WU0003: Sum types in jinko
WU0004: Error handling inside jinko's interpreter
WU0007: Partial Application operator
WU0008: Specialization, generic application, partial generic application
WU0009: Closures
WU0009: Modules as types
WU0010: First class types
WU0011: Shell abstraction
WU0012: Default field accesses
WU0013: Kind system
WU0014: Type system
WU0015: UFCS and function resolution rules
Table of contents
Declaration
Instantiation
Custom types in jinko
Declaration
Instantiation