4,494
edits
(→Adoption in APL: Looks like SHARP doesn't use leading axis agreement; I think I misread SATN-45 originally) |
|||
Line 33: | Line 33: | ||
|} | |} | ||
In addition to these, the [[Rank operator]] and [[scalar dyadic]]s can be extended with [[leading axis agreement]], so that arguments with different-length frames can | In addition to these, the [[Rank operator]] and [[scalar dyadic]]s can be extended with [[leading axis agreement]], so that arguments with different-length frames can match as long as one frame is a prefix of the other. The original introduction of Rank had only an analogue of [[scalar extension]], where an argument with an empty frame is repeated to pair it with an argument with a non-empty frame. The following extensions have been made in order to support leading axis theory: | ||
{|class=wikitable | {|class=wikitable |