A walkthrough of the fundamental aspects of the design of Ribbon, from type systems to implementation.

Contents

• Algebraic Effects
• Bytecode VM
• Composable Allocation Strategies
• Domain Specific Languages
• Phantom Types
• Row Types
• Structured Data
• Toolkit API
• Type Classes
• Type Kinds