disco
Gentle Introduction to Disco
Disco Language Reference
Arithmetic
Comparison
Logical operations
Syntax
Types
Base types
Booleans
Numeric types
Characters
Function types
Type signature
Type annotations
Polymorphism
Algebraic types
Type definitions
Collections
Strings
Propositions
Subtypes
Subtyping for algebraic types
Functions
Collections
Combinatorics
Standard libraries
REPL commands
Disco language extensions
Error messages
Symbols
Quick Tutorial for experienced functional programmers
disco
Disco Language Reference
Types
Base types
View page source
Base types
Base types
are the fundamental types that define the possible kinds of simple data values in Disco.
Booleans
Numeric types
Natural numbers
Integers
Fractional numbers
Rational numbers
Characters