「：汉语：通称对子与模式匹配（pair and pattern matching）。这一篇是豫言赋的对子示例：定义「对子求和」，以模式「左」与「右」剖开对子，返回左加右；再对五与八组成的对子求和并打印，得一十三。
　　文言：鉴，镜也（《说文》）；形，象也。合二数为一契，剖其左右而求和；镜照其形，左右乃见。
　　赋曰：盖闻合二数为一契，剖两半而求和；镜照其形，左右乃分。五与八合，十三乃成。：」
寻观「豫章」之书。

「：古：合二数为一契，剖其左右而求和。今：构造并匹配对子。：」
「对子求和」乃化（「数」合「数」）为「数」者也。
「对子求和」者得「对子」而
　鉴「对子」而
　　或有（「左」与「右」）则「左」加「右」
也。

「书」于（「述数」于（「对子求和」于（「五」与「八」）））。