deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

Метапрограммирование

Обобщённое программирование — парадигма программирования, заключающаяся в таком описании данных и алгоритмов, которое можно применять к различным типам данных, не меняя само это описание.

Метапрограммирование — генерация программ высшего порядка, которые, когда выполняются, создают программы (возможно на другом языке или в подмножестве первоначального языка) в результате своей работы.
https://ru.wikipedia.org/wiki/Теория_языков_программирования
---

Типы в языках программирования. Бенджамин Пирс.
Пирс. Типы в языках программирования. Pierce. TAPL. Types and Programming Languages.
http://prog.tversu.ru/library/tapl.pdf
(680 страниц)
---
Практические основы программирования Языки, Роберт Харпер, 2011
Robert Harper. Practical Foundations for Programming Languages.
---
Общее определение теорий зависимых типов
Андрей Бауэр , Филипп Г. Хазельвартер , Питер ЛеФану Ламсдайн
http://math.andrej.com/2020/09/14/a-general-definition-of-dependent-type-theories/

https://arxiv.org/abs/2009.05539
A general definition of dependent type theories
Andrej Bauer Philipp G. Haselwarter
Peter LeFanu Lumsdaine
https://arxiv.org/pdf/2009.05539.pdf
---
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 1 comment