Skip to content
jinko docs
Variables
Initializing search
GitHub
jinko docs
GitHub
jinko programming documentation
Language
Language
The jinko programming language
Variables
Variables
Table of contents
Declaring variables
Type hinting
Using variables
Types
Types
Built-in types
Custom types in jinko
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
Declaring variables
Type hinting
Using variables
Variables
Declaring variables
a
=
15
;
Type hinting
a
:
int
=
15
;
Using variables