有个梨UGlee
2020-01-01 00:07:07 发布
Robin Milner有两个表述震撼到我。

一个是在他的图灵奖lecture里说的一个变量，可以看作一个process，读写都是process之间的通讯；这个模型一下子泛化了并发计算，也是让歧视性的所谓side effect一词，具有了客观和中立的表述；

另一个是他在他的学生的书的序言里说的，很多关于计算的idea，都是在计算机出现之前就有的；这看起来有点奇怪，但是也正说明了计算的本质，其实是在manipulating idea，而不仅仅是计算机做的那点儿事儿。

++++

大家，无论在那个领域，都具有哲学思维。