[
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2022 January 29
[
а насколько часто применяется денотационная семантика?
[
Пирс пишет, что она плохо справляется с описанием многопоточности в отличие от операционной
AC
"Это пока, это пока". Как я понимаю, над этим работают. Особенно если считать категорную семантику денотауионной. 😁
[
понял, в общем, тема активного ресёрча
[
кстати, а если я захочу описать опсем своего игрушечного языка, мне материалов из Пирса хватит?
ПС
если Пирс = TAPL, то там, вроде бы, достаточно простые операционные семантики
ПС
вот в Advanced Topics in TAPL есть более экзотичные вещи
ПС
в части с субструктурными типами, например, автор упоролся с корректным операционным описанием контекста
[
мне это пока не очень нужно, но вообще интересно было бы на будущее
[
иначе придётся придумывать гц
[
хотя лол, гц сделать легче, чем сообразить линейные типы
Oℕ
для семантики-то зачем гц
ПС
можно компилировать в Java bytecode и не придумывать GC)))
[
это надо ещё машинерию типа бч или линейных констрейтов придумывать, чтоб программирование на таком языке было не больным
[
так я не только семантику языка делать буду
[
мы уже llvm выбрали с другом