Introduction

Basics

Blocks and Control Flow

Names and Namespaces

Types

References and Safety structs Indexed Collections Variant Types

Concurrence: Co-routines, Threads, actors/behaviors

Metaprogramming: Macros, templates, CTE, reflection

templates = memoized macros & pi types, higher order types, associated types, with collections and invariant patterns

Syntax