唐纳德Knuth - Yak Shaves的顾客圣徒(2017年)

2022-01-09 22:16:00

2015年,我谈到了一个谈话,我叫做唐纳德·克朗的顾客圣殿的牦牛刮胡子。原因是唐纳德·克坦斯达到了最完美,最漫长的牦牛剃须:Tex。

但是,TEX做了什么?主要是,它确实是文本布局和几件事。众所周知,Knuth在算法上无法与他自己的算法一起出现,后来与Michael Plass一起出版。算法做了什么?它找到了一个视觉上令人愉悦的方式,在没有发出线条的情况下放置一个页面上的段落,看起来jarring(例如通过调整“胶水”,单词之间的空格)。这是一个很好的解释。

作为一个副作用,Metafont稍后会进化到通用矢量图纸的Metapost,它具有我仍然错过的许多现代图形描述语言:描述(可寻址)点作为两个其他基元之间的交叉点。

但大多数情况下,两个大项目涌出。第一个是Leslie Lamport的乳胶。 Lamport是一名非常高效的研究员,以TLA +以正式方法研究着名,也是许多分布式算法的铺设基础。乳胶是基于分离介绍和内容的想法。它围绕文档类的想法,然后描述某个文档的布置方式。想想市场,更复杂。第二个是上下文,远远专注于细粒度的布局控制。

通过对其历史的理解接近Tex,可以从中吸取很多东西。是的,更换会很棒,但它需要年龄。