我正在寻找用于 2d 框对齐的算法（或代数）。（递归）框的对齐在 TeX 和 Lout 等类型设置系统中实现，但也在 Web 浏览器中实现。例如，框可以水平或垂直对齐，分布在可用空间上并递归组合。是否有论文或实现在类型设置之外实现此类系统？如何最好地描述此类系统是否达成共识？
编辑：Haskell Diagrams包看起来是一种非常彻底的组合图形对象的方法。它可以处理任何形状，而不仅仅是盒子。它的弱点似乎是处理对类型设置、Web 浏览器和 GUI 非常重要的文本。
编辑：LaTeX3中的棺材看起来很相关。