What are you curious about?

Execution order and faults

Representing and recovering from failure

Choices in expression and constraints

Ownership and resource management

The host and execution boundaries

Type checking and external input