Index

Aliases, module

Ch. 23

Anonymous functions

Ch. 6

Arithmetic

Ch. 1 · Ch. 3

Array[T]

Arrays

accessing elements

modifying elements

growing and shrinking

common operations

building with loops

and functions

preconditions on

arrays of maps

Assignment

Ch. 1 · App. A

Attributes

detachable

once

await, await_any, await_all

Ch. 28 · Ch. 28

B

Base case, recursion

Ch. 8

Booleans

Ch. 2 · Ch. 3 · App. B

Breakpoints

App. D

Built-in functions, global

App. B

C

case expression

Ch. 4

Channels

buffered and unbuffered

closing

Channel[T]

Char

App. B

Classes

designing well

Ch. 13

inheritance and polymorphism

generic classes

syntax reference

App. A

Closed hierarchies, sealed classes

Closures

Ch. 7

Command-query separation

Ch. 13

Comments

Ch. 1

Comparison expressions

Ch. 3

Compilation target

Ch. 24

Concurrency

Ch. 28 · App. A

Console

Constraints, type

Ch. 15 · Ch. 15

Constructors

Contracts, Design by

Ch. 16–20 · Ch. 29 · App. A

and inheritance

as documentation

and tests

convert expression

Cursors

D

Debugger

App. D

Deferred classes

Detachable types

Ch. 2 · Ch. 12 · Ch. 15

E

Enumerations

Errors and exceptions

vs. preconditions

built-in exception classes

writing robust code

Ch. 22

syntax reference

App. A

Exception classes

Ch. 21 · App. A

Exercises, solutions to

App. E

Expressions

Ch. 3 · App. A

F

Fail fast

Ch. 22

File access

App. C

from ... until ... do loop

Formatting numbers

Ch. 2 · App. B

Forward declarations

Ch. 6

Functional methods (map, filter, fold, ...)

Ch. 7 · App. B

Functions

as contracts

pure functions

type signatures

as values

syntax reference

G

Generic classes

multiple type parameters

and inheritance

H

Higher-order functions

Ch. 7 · App. B

HTTP and network services

App. C

I

if statement

import vs. intern

Infinite loops

Inheritance

and contracts

and generics

multiple inheritance

intern statement

how it resolves files

Ch. 23

Integer

Ch. 2 · App. B

Interoperability

Ch. 24

Invariants

Ch. 18

loop invariants

Ch. 19

relation to pre/postconditions

Ch. 18

J

"java" blocks, with

Ch. 24

L

Lexical basics

App. A

Loops

Ch. 5 · App. A

loop contracts

Ch. 19

across loop

repeat loop

M

Maps

Ch. 10

adding and updating entries

removing entries

querying

maps of arrays

Map[K, V]

Matching, pattern

Ch. 14 · App. C

Methods

operators and methods

Ch. 2

overriding

Modules

Ch. 23 · App. A

Mutual recursion

Ch. 8

N

Naming classes

Ch. 13

Nested structures

Nil

Ch. 2

O

Object test (?x as y)

Off-by-one errors

old keyword

Operators

precedence

Optional arguments, overloading

Option type

Ch. 21 · App. C

Overriding methods

Ch. 14 · Ch. 14

P

Parameters and arguments

Ch. 6

Pattern matching see Matching

Polymorphism

Postconditions

Ch. 17 · Ch. 20

Preconditions

Ch. 16 · Ch. 20 · Ch. 9

Process

Program

Pure functions

Ch. 7

Q

Querying a map

Ch. 10

R

Real numbers

Ch. 2 · App. B

Recursion

on lists

vs. loops

Refinement types

REPL

Ch. 1 · Ch. 1

Rescue blocks

Ch. 21 · Ch. 21

Result type

Ch. 21 · Ch. 22 · App. C

Retrying

S

Sealed classes see Closed hierarchies

select statement

Ch. 28 · Ch. 28

Set[T]

spawn

Stack[T]

Standard library

Strings

operations

concatenation

String type

Superclass calls

T

Tasks

checking task state

Task[T]

Testing

Ch. 25

a test harness in Nex

Ch. 25

testing contracts

Ch. 25

this reference

Timeouts

Ch. 28 · Ch. 28

Trees, tree-shaped data

traversing

searching

Type annotations and conversion

Ch. 2 · Ch. 2

Types

Ch. 1 · Ch. 2

U

Uniform access

Unions