Freya provides two different typecast operators and a binary operator for testing type membership.
expression as type-reference
The is binary operator checks whether the instance refered by its left operand belongs to the type passed in the right operand, or to another type descending from the right operand:
expression is type-reference
There is a negated variant for this operator:
expression is not type-reference
and it's defined as equivalent to this:
not (expression is type-reference)
The Freya Programming Language
Expressions
Class declarations
Interface declarations