
target='_blank'>space</a> to explore here. Type inference in Uxntal is done by
checking the stack effect declarations of words, against the sum of stack
changes predicted to occur based on the arity of each token in their
bodies.</p>

<pre>
@add ( a* b* -: c* ) <i>Warning: Imbalance in @add of +2</i>
	DUP2 ADD2 <b>JMP2r</b>
</pre>

<p>Words that do not pass the stack-checker are generating a warning, and so
essentially this defines a very basic and permissive type system that
nevertheless catches some inva