В последнее время часто наталкиваюсь на статьи о них в контексте параллельных (concurrent) языков.
есть два типа игровых семантик, которые мало относятся друг к другу
а откуда это?
точно не помню, но вроде из тяп-чата
я рассказал тогда, что знаю — не специалист! — про модельные и про пруф-игры, это разные вещи
да, тяп-чат: https://t.me/LanguageDev/116214
Обсуждают сегодня