Cyclone

• Table of Contents
• Introduction
  • Acknowledgements
• Cyclone for C Programmers
  • Getting Started
  • Pointers
  • Regions
  • Tagged Unions and Pattern Matching
  • Exceptions
  • Additional Features of Cyclone
  • GCC and C99 Additions
  • Tuples
  • Creating Arrays
  • Subtyping
  • Let Declarations
  • Polymorphic Functions
  • Polymorphic Data Structures
  • Abstract and Existential Types
  • Restrictions
• Pointers
  • Whether a value of the type may be NULL
  • The number of objects pointed to
  • The region into which the pointer points
  • Pointers to an Unknown Number of Objects---The t ? Types
  • Summary and Discussion
• Tagged Unions
  • tunion
  • xtunion
• Pattern Matching
  • Let Declarations
  • Pattern Forms
  • Switch Statements
• Type Inference
• Polymorphism
• Memory Management Via Regions
  • Introduction
  • Allocation
  • Common Uses
  • Type-Checking Regions
• Namespaces
• Varargs
• Definite Assignment
• Advanced Features
  • Existential Types
  • The Truth About Effects, Capabilities, and Region Bounds
  • Interprocedural Memory Initialization
• Generic Functions and Representation Types
  • Introduction
• Porting C code to Cyclone
  • Translating C to Cyclone
  • Interfacing to C
• Frequently Asked Questions
• Libraries
  • C Libraries
  • <array.h>
  • <bitvec.h>
  • <buffer.h>
  • <core.h>
  • <dict.h>
  • <filename.h>
  • <fn.h>
  • <hashtable.h>
  • <list.h>
  • <pp.h>
  • <queue.h>
  • <rope.h>
  • <set.h>
  • <slowdict.h>
  • <xarray.h>
• Grammar
• Installing Cyclone
• Tools
  • The compiler
  • The lexer generator
  • The parser generator
  • The allocation profiler, aprof
  • The C interface tool, buildlib
• Index

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.