LINUX.ORG.RU

История изменений

Исправление tailgunner, (текущая версия) :

Возможно, я плохо объяснил зачем это нужно. Это нужно для бОльшей потокобезопасности (статьи по системам типов? (комментарий))

Единственная приличная потокобезопасность - это CSP. Если Хоар (другой Хоар) прав, для этого хватит линейных типов.

Проснулся азарт. Хочу довести дело до конца.

«От ненужных побед остается усталость» (ц)

И спроектировать юзабельный ЯП очень трудно.

ЗЫ вилдродень таки зарелизил свою игру или нет?

Он ее не сделал.

Исходная версия tailgunner, :

Возможно, я плохо объяснил зачем это нужно. Это нужно для бОльшей потокобезопасности (статьи по системам типов? (комментарий))

Единственная приличная потокобезопасность - это CSP. Если Хоар (другой Хоар) прав, для этого хватит линейных типов.

ЗЫ вилдродень таки зарелизил свою игру или нет?

Он ее не сделал.