apl

本文提出了一种有原则性的方法来重新思考 APL 等数组语言，通过将变量建模为输入维度的函数，旨在相较于传统方法提高可读性和错误检查能力。

作者探讨了利用约束逻辑和等式重写规则，将关系建模与 APL 风格的数组语言相结合，并讨论了如何将属性定义为双向推导，而非简单的赋值。