老哥, 要不要搞成中英对照的?

[alex-ca1123]

我现在用的是中英对照的. 其实就是定义了一个翻译环境.

这是我跟他们翻译D&G的千高原的老哥老姐学的, 一方面因为深刻的内容需要对照原文. 另一方面, 其实英文有时候不如汉语能够把握代数拓扑的微妙. 因为汉语表达可以用很少的字数说的很生动, 刚好适合这个场景. Voevodsky死了, PLT背景的那几位根本懂不起拓扑原理或几何风格的理论物理/调和分析背景, 没有那个能力, 直觉不行. Urs又不懂软件工程实践中的计算. 我们完成这本书的翻译, 然后可以和他们打打擂台.

[ilhikki]

现在不行。

这本书是 latex 写的，现在用 xelatex 编译。但是 xelatex 不能这么方便的扩展。而用到的引用的库，tex4ht 不兼容。所以没法编译成 HTML。如果是 PDF，则对照的功能会影响正常视觉。

我正在写一个将 tex 编译成 HTML 的 lib。因为这本书大部分宏都挺规范的，而且没有非常复杂的段落，所以实现 latex 的一个子集，就能编译成 HTML，接下来用 JS 去操作即可。但是这不是一下子能搞定的。
这是我的 dome，左边是 tex 原文，如果需要中英对照，只需要左边改成原文的编译的结果。

我现在第三章已经翻译好了，但是没有发布，因为我面临一个困境，因为 latex 的重构很麻烦，想修改术语只能 ctrl+F 搜索替换。翻译一整本书的工作远大于相同的若干章节。所以我暂时也不考虑合作，因为我一个人的工作流都还没有搞定。

不过你可以将我的内容拿过去用，我的项目是开源的。

[alex-ca1123]

LaTeX的AST太浅了, 倒是应了HIT截断的话了. 另外就是搞了这一套以后思维确实呈现“高阶化”, 特点就是和一般人往后分析的说话方式不一样, 喜欢接“因为”往前归纳, 我也是这样的. 我昨天仔细想了一下, 发现自己都快给LaTeX写HM的Unification了, 就意识到有点跑题了. 我的思路是编号之类的元数据就用英文的, 然后用rewritting把编号表示镜像到汉语的部分就行了. 而实现这个对应关系有点麻烦的就是翻译区间的选择, 还不完全是LaTeX的环境, 那个不算错但是也不怎么好. 有时候环境单元和前后的非常短的段落放在一起才好. 不过看了你的左右分栏对我有点启发, 行文的部分像我那样前后对照比较好, 但是公式的部分左右对照就很好. 对于你的问题, 考虑index无非是hyperlink, 要么干脆先擦掉, 但是记录下来擦掉了什么和在哪里擦掉的, 把html的编译目标通过了以后再重建就是了. 反正有文本符号序列的对应性在, 应该不难构造等效.

[alex-ca1123]

这个镜像对照的思路, 其实还是从∑类型的子类型(子集)里面来的. 因为MLTT中说“副作用就是子集”. 所以我想干脆就用英文原稿的逻辑结构, 但是强化一些不改变逻辑的表示进去, 用这些表示容纳中文翻译的表达.