Next:
Contents
Contents
The Ur/Web Manual
Adam Chlipala
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
Table Constraints
Queries
DML
Sequences
XML
Client-Side Programming
The Basics
Node IDs
Functional-Reactive Page Generation
Remote Procedure Calls
Asynchronous Message-Passing
Ur/Web Syntax Extensions
SQL
Table Declarations
Queries
DML
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
About this document ...
2014-07-14
