The Factor compiler supports advanced compiler optimizations that take advantage of the type information it can glean from source code. The typed vocabulary provides syntax that allows words to provide checked type information about their inputs and outputs and improve the performance of compiled code.

TYPED:

TYPED::

define-typed ( word def effect -- )

input-mismatch-error ( word expected-types -- * )

output-mismatch-error ( word expected-types -- * )