Programming with Nex
Programming with Nex

Index

Terms and concepts, linked to where they are introduced or explained in the book.

A
Accumulation, loops
Ch. 5
Aliases, module
Ch. 23
Anonymous functions
Ch. 6
Arithmetic
Ch. 1 · Ch. 3
Array[T]
App. B
Arrays
Ch. 9
accessing elements
Ch. 9
modifying elements
Ch. 9
growing and shrinking
Ch. 9
common operations
Ch. 9
building with loops
Ch. 9
and functions
Ch. 9
preconditions on
Ch. 9
arrays of maps
Ch. 11
Assignment
Ch. 1 · App. A
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
Ch. 28
buffered and unbuffered
Ch. 28
closing
Ch. 28
Channel[T]
App. B · App. C
Char
App. B
Classes
Ch. 12
designing well
Ch. 13
inheritance and polymorphism
Ch. 14
generic classes
Ch. 15
syntax reference
App. A
Closed hierarchies, sealed classes
Ch. 14
Command-query separation
Ch. 13
Comments
Ch. 1
Comparison expressions
Ch. 3
Compilation target
Ch. 24
Concurrency
Ch. 28 · App. A
Console
App. B · App. C
Constraints, type
Ch. 15 · Ch. 15
Constructors
Ch. 12
Contracts, Design by
Ch. 16–20 · Ch. 29 · App. A
and inheritance
Ch. 20
as documentation
Ch. 20
and tests
Ch. 20
convert expression
Ch. 11
Cursors
App. B · App. C
D
Debugger
App. D
Deferred classes
Ch. 14
Detachable types
Ch. 2 · Ch. 12
E
Enumerations
Ch. 14
Errors and exceptions
Ch. 21
vs. preconditions
Ch. 21
writing robust code
Ch. 22
syntax reference
App. A
Exercises, solutions to
App. E
Expressions
Ch. 3 · App. A
F
Fail fast
Ch. 22
Fields
Ch. 12
detachable
Ch. 12
once fields
Ch. 14
File access
App. C
from ... until ... do loop
Ch. 5
Forward declarations
Ch. 6
Functions
Ch. 6
as contracts
Ch. 7
pure functions
Ch. 7
type signatures
Ch. 6
syntax reference
App. A
G
Generic classes
Ch. 15
multiple type parameters
Ch. 15
and inheritance
Ch. 15
H
HTTP and network services
App. C
I
if statement
Ch. 4
import vs. intern
Ch. 24
Infinite loops
Ch. 5
Inheritance
Ch. 14
and contracts
Ch. 20
and generics
Ch. 15
multiple inheritance
Ch. 20
intern statement
Ch. 23
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
Ch. 5
repeat loop
Ch. 5
M
Maps
Ch. 10
adding and updating entries
Ch. 10
removing entries
Ch. 10
querying
Ch. 10
maps of arrays
Ch. 11
Map[K, V]
App. B
Matching, pattern
Ch. 14 · App. C
Methods
Ch. 12
operators and methods
Ch. 2
overriding
Ch. 14
Modules
Ch. 23 · App. A
Mutual recursion
Ch. 8
N
Naming classes
Ch. 13
Nested structures
Ch. 11
Nil
Ch. 2
O
Off-by-one errors
Ch. 5
old keyword
Ch. 17
Operators
Ch. 2
precedence
Ch. 3
Optional arguments, overloading
Ch. 12
Option type
Ch. 21 · App. C
Overriding methods
Ch. 14 · Ch. 14
P
Parameters and arguments
Ch. 6
Pattern matching see Matching
Polymorphism
Ch. 14
Postconditions
Ch. 17 · Ch. 20
Preconditions
Ch. 16 · Ch. 20 · Ch. 9
Process
App. B · App. C
Pure functions
Ch. 7
Q
Querying a map
Ch. 10
R
Real numbers
Ch. 2 · App. B
Recursion
Ch. 8
on lists
Ch. 8
vs. loops
Ch. 8
Refinement types
Ch. 6
REPL
Ch. 1 · Ch. 1
Rescue blocks
Ch. 21 · Ch. 21
Result type
Ch. 21 · Ch. 22 · App. C
Retrying
Ch. 21
S
Sealed classes see Closed hierarchies
select statement
Ch. 28 · Ch. 28
Set[T]
App. B
spawn
Ch. 28
Stack[T]
App. B
Standard library
App. C
Strings
Ch. 2
operations
Ch. 1
concatenation
Ch. 3
String type
App. B
Superclass calls
Ch. 14
T
Tasks
Ch. 28
checking task state
Ch. 28
Task[T]
App. B · App. C
Testing
Ch. 25
a test harness in Nex
Ch. 25
testing contracts
Ch. 25
this reference
Ch. 12
Timeouts
Ch. 28 · Ch. 28
Trees, tree-shaped data
Ch. 11
traversing
Ch. 11
searching
Ch. 11
Type annotations and conversion
Ch. 2 · Ch. 2
Types
Ch. 1 · Ch. 2
U
Uniform access
Ch. 12
Unions
Ch. 14
V
Variables
Ch. 1 · App. A
W
Watchpoints
App. D
when expression
Ch. 4