我认为现在的电子教材根本没有完全发挥电子载体的潜力。我的梦中情电子教材：
- 具备一个优秀的教材应有的一切
- 具备一个优秀的电子书籍应有的一切
- 任意术语/符号均可点击/悬浮弹出该术语/符号在当前上下文中的定义与出处。
- 任意公式/证明中使用的技巧均可根据 trivial 程度逐级展开查看中间过程/跳转到出处。
目标是让任何读者在连贯的学习过程中，不需要脱离当前上下文去看别的东西。
这种教材写起来一定很累，学起来一定很爽。
现在有这样真正发挥电子载体潜力的书吗？
RE: https://myce.li/notes/aj1ppa0l4sqh001p
@[email protected]
话说我现在真的很喜欢到处都加上超链接注明出处诶。
我觉得这是好的。
Follow
@hpcesia 没人写过，但Lean + Verso也许有这样的潜力。比如
https://lean-lang.org/theorem_proving_in_lean4/Propositions-and-Proofs/#conjunction
鼠标悬空`And.intro`就可以看到type。悬浮是个好主意但没人加这个功能。有人有空的话应该把陶轩哲用Lean写的Complex Analysis转化为像这样的一本交互式教材。
@[email protected] 看着很不错，有点接近我想要的那种教材了。