Как то недавно, на досуге, читал разные CS документы, и обратил внимание на один любопытный факт.
Есть маленькая книжоночка за авторством Гая Стилла, соавтора scheme, который пишет там про историю появления scheme. Он там пишет, что язык этот появился как экспериментальный, написан он был им и Сассманом, с одной простой целью. Они пытались понять модель Акторов Карла Хьюитта, но языки Хьюита казались им зело сложными. Таким образом, они, якобы *разобрались* с ней, причем, они каким-то образом связали это с LC, и че-то там, в итоге оказалось, что якобы, Акторы выразимы на LC.
Любопытно следущее. Стил в этой своей брошюрке наглым образом врет о том, что якобы, Хьюитт, посмотрев на это все, якобы согласился с их выводами.
Между тем, есть бумага Карла Хьюитта, где он упоминает эту мутную историю, и говорит о том, что это была чистой воды профанация, и что Стилл и Сассман ННП-ли, и то что они запилили, ничего общего с *general*-моделью акторов не имеет, и реализует лишь частный случай. Это, тащемта, ниочем, поскольку любая модель вычислений является частным случаем модели акторов, в том смысле, что выразима в терминах модели Акторов, но не наоборот.
К сожалению, пруфы с ходу не могу дать, потому как читал все с браузера, и щас с ходу не вспомню, откуда что, но те кто в теме, должны представлять, о чем речь. Это все есть в открытом доступе.
Следовательно, Стилл просто нагло соврал, такие вот дела:)
UPD Нашел пару пруфов, их, в принципе, должно быть достаточно
1 http://deptinfo.unice.fr/~roy/JAOO-SchemeHistory-2006public.pdf
тут на стр 45 (в конце) стилл утверждает что Хьюитт согласился
а вот тут
http://arxiv.org/pdf/1008.1459.pdf
начиная со стр 43 Хьюитт поясняет почему это фуфло.
