Contents

• Introduction
• Installation
• Command-Line Compiler
  • Project Files
  • Building an Application
  • Tutorial Formatting
  • Run-Time Options
  
  
• Ur Syntax
  • Lexical Conventions
  • Core Syntax
  • Shorthands
  
  
• Static Semantics
  • Kind Well-Formedness
  • Kinding
  • Record Disjointness
  • Definitional Equality
  • Expression Typing
  • Pattern Typing
  • Declaration Typing
  • Signature Item Typing
  • Signature Compatibility
  • Module Typing
  • Module Projection
  
  
• Type Inference
  • Basic Unification
  • Unifying Record Types
  • Constructor Classes
  • Reverse-Engineering Record Types
  • Implicit Arguments in Functor Applications
  
  
• The Ur Standard Library
• The Ur/Web Standard Library
  • Monads
  • Transactions
  • HTTP
  • SQL
  • XML
  • Client-Side Programming
  
  
• Ur/Web Syntax Extensions
  • SQL
  • XML
  
  
• The Structure of Web Applications
  • Tasks
  
  
• The Foreign Function Interface
  • Writing C FFI Code
  • Writing JavaScript FFI Code
  • Introducing New HTML Tags
  • The Less Safe FFI
  
  
• Compiler Phases
  • Parse
  • Elaborate
  • Unnest
  • Corify
  • Especialize
  • Untangle
  • Shake
  • Rpcify
  • Untangle, Shake
  • Tag
  • Reduce
  • Unpoly
  • Specialize
  • Shake
  • Monoize
  • MonoOpt
  • MonoUntangle
  • MonoReduce
  • MonoShake, MonoOpt
  • Fuse
  • MonoUntangle, MonoShake
  • Pathcheck
  • Cjrize
  • C Compilation and Linking