\startdesc{Cast expression}
\defref{cast expression}
\startlambda
- body :: targettype
+ body ▶ targettype
\stoplambda
A cast expression allows you to change the type of an expression to an
equivalent type. Note that this is not meant to do any actual work, like
The value of a cast is the value of its body, unchanged. The type of this
value is equal to the target type, not the type of its body.
- \todo{Move this paragraph}
+ \todo{Move and update this paragraph}
Note that this syntax is also used sometimes to indicate that a particular
expression has a particular type, even when no cast expression is
involved. This is then purely informational, since the only elements that