Чи є опитування семантики різних особливостей мови програмування?


12

Чи є опитування (з паперу, глави книги, підручника, посилання, ...) семантики різних особливостей мови програмування? Я спочатку був переповнений особливостями D тут http://www.digitalmars.com/d/2.0/comppare.html

Я хотів би побачити, що я міг би отримати звідси, хоча я поставив подібне запитання щодо stackoverflow і зрозумів, що ці два сайти мають різні точки зору.

Дуже вдячний за вашу відповідь! Дякую Дейву Кларку за його пропозицію щодо мета


Я думаю, що це питання викликає цікаве питання: чи семантика мов програмування все ще є дослідницькою областю в лабораторії, чи вона готова до світлового дня? Якщо він готовий до денного світла, тоді повинні бути складові, які визначають, як описати семантику кожної функції мови програмування, щоб майбутні дизайнери мови могли шукати їх під час проектування своїх мов. Я думаю, що варто задуматися, куди ми хочемо піти звідси.
Удай Редді

Відповіді:


17

Я не знаю жодного опитування семантики різних мовних особливостей, хоча є багато книг, що стосуються семантики мов програмування. Ось декілька більш всеосяжних, які також стосуються менш стандартних конструкцій:

  • Концепції дизайну на мовах програмування Франклін Турбак, Девід Гіффорд та Марк Шелдон. Книга мамонта, сповнена семантики багатьох різних мовних конструкцій.

  • Поняття, методи і моделі комп’ютерного програмування Пітера Ван Роя та Сейфа Хариді. Ця книга зосереджується в основному на поняттях з точки зору мови Оз. Кожен приклад у книзі працює. В кінці книги є розділ або два, які обговорюють формальну семантику мовних конструкцій.

Більш класичні тексти, які роблять більше уваги на семантичних прийомах, а не на різноманітності конструкцій мови програмування, включають:

  • Типи та мови програмування Бенджаміна Пірса. Книга про типові системи. Основна увага зосереджується на функціональних мовних конструкціях, збільшуючи при цьому витонченість системи типів. Він також охоплює вагу Java, основне обчислення Java.

  • Переходи та дерева Ганса Хаттеля. Приємне вступ до оперативної семантики, що охоплює різноманітні мовні конструкції, що збільшують складність.

  • Семантика з додатками Ганни Ріїс Нільсон та Флеммінга Нільсона. Вступ до різних стилів семантики, включаючи деякі неочевидні їх застосування. Чудове читання!

  • Структура мов програмованого програмування Девід А Шмідт. Суцільна фундаментальна книга.

  • Семантика мов програмування: структури та методики Карла Гантера. Ще одна солідна фундаментальна книга.

Нарешті, незавершена робота, доступна для завантаження, « Практичні основи мов програмування» Боба Харпера охоплює безліч різних функцій мови програмування, гарантуючи, що все буде формалізовано по дорозі.

Додам, що якщо ви задасте більш конкретне запитання, ви отримаєте більш конкретну відповідь. Існує багато наукових праць, що дають семантику різноманітним мовам програмування. Якщо вас зацікавила конкретна особливість, то я міг би викопати папір або два про цю функцію.


11

Ще одна хороша книга з оперативної семантики - « Semantics Engineering» з PLT Redex Маттіаса Феллейсена, Робі Філлера та Метью Флатта. Він починається з обробки підручника семантики скорочення та абстрактних машин, а також охоплює використання інструменту Redex для моделювання семантики мов програмування.


5
Приємно бачити на борту ще одну людину з ПЛ.
Дейв Кларк
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.