「：汉语：通称多态高阶函数（polymorphic higher-order function）。这一篇是豫言赋的泛型示例：「再施」设类型「甲」，收一术与一物，把术施于术施于物的结果；再以「加一」与一十调用，得十二并打印。
　　文言：通，达也（《说文》）；术，邑中道也（《说文》），引申为法。一术再施，可通百类；设甲而收术与物，两施乃成。
　　赋曰：盖闻一术再施，可通百类；设甲为型，两呼乃应。型随术立，数自一增。加一于十，十二乃成。：」
寻观「豫章」之书。

「：古：一术再施，可通百类。今：定义多态高阶函数。：」
「再施」乃凡「甲」而化（化「甲」为「甲」）又化「甲」为「甲」者也。
「再施」者设「甲」而得「术」又得「物」而
　「术」于（「术」于「物」）
也。

「结果」乃「数」也。
「结果」者「再施」以「数」于（得「其数」而「其数」加「一」）于「一零」也。

「书」于（「述数」于「结果」）。