Quotes and Splices

[AshleyYakeley]

#298 gives Interpreter and Type.

Quotes

• Given a type T, @T has type OpenType T.
• Given an expression e, !expression {e} has type Interpreter Expression.
• Given bindings b, !scope {b} has type Interpreter Scope.

Splices

• Given expr: Interpreter Expression, !{expr} in expression context is an expression.
• Given expr: Interpreter Scope, !{expr} in scope context is bindings.
• Given expr: Interpreter Type, !{expr} in type context is a type.