Pony Tutorial
Introduction
Chapter 1: Getting Started with Pony
What You Need
Hello World: Your First Program
Hello World: How It Works
Chapter 2: Types
The Pony Type System at a Glance
Classes
Primitives
Actors
Traits and Interfaces
Type Aliases
Type Expressions
Chapter 3: Expressions
Literals
Variables
Infix Operators
Control Structures
Methods
Exceptions
Equality
Sugar
Object Literals
Partial Application
Chapter 4: Capabilities
Object Capabilities
Reference Capabilities
Guarantees
Consume and Destructive Read
Recovering Capabilities
Aliasing
Combining Capabilities
Passing and Sharing
Capability Subtyping
Arrow Types
Trust Boundary
Chapter 5: Generics
Reference Capabilities
Constraints
Chapter 6: Pattern Matching
Match Expressions
As Operator
Chapter 7: Packages
Package System
Use Statement
Standard Library
Chapter 8: Testing
PonyTest
Chapter 9: C FFI
Calling C from Pony
Linking to C Libraries
C ABI
Callbacks
Chapter 10: Gotchas!
Divide by Zero
Garbage Collection
Scheduling
Side-effect ordering in function call expressions
Recursion
Chapter 11: Where Next?
Appendices
Lexicon
Symbol Lookup Cheatsheet
Keywords
Examples
Pony & Whitespace
Compiler Arguments
Memory Allocation at Runtime
Garbage Collection with Pony-ORCA
Platform dependent code
A short guide to Pony error messages
Program Annotations
Serialisation
Powered by
GitBook
Chapter 7: Packages
Chapter 7: Packages
results matching "
"
No results matching "
"