Данная тема посвящена интеграции профункторной оптики с бинарными интерфейсами данных. Цель работы заключается в разработке программной библиотеки для языка Haskell. В данной работе рассмотрены актуальность профункторной оптики как программного подхода, выражена проблематика работы с различного рода бинарными интерфейсами, сделано сравнение существующих подходов и абстракций, и дано обоснование выбора технологий и средств для последующей разработки. Результатами данной работы являются как и теоретические соображения, так и практические решения представленной проблематики. Главным теоретическим результатом является установление соответствия бинарного интерфейса типа данных с определённого вида монадической оптикой. В практические результаты входят демонстрация построения бинарного интерфейса и верификация корректности этого построения.

This topic covers the integration profunctor optics with application binary interfaces. The primary goal of this work is the development of a library for the Haskell programming language. This work reviews the relevance of profunctor optics as a programming concept, goes over the challenges of using application binary interfaces, analyses existing approaches, and provides a substantiated choice of tools and frameworks for development. This work results both in theoretical propositions and in practical solutions for the covered challenges. The main theoretical result stems from establishing a correspondence between an application binary interface and a certain kind of monadic optic. Practical results include a demonstration of application binary interface construction and the correctness verification thereof.

• Термины и определения
• Введение
• Описание проблематики бинарных интерфейсов данных
  • Проблемы с C ABI
  • Распространение нестандартных ABI
  • Вывод по главе
• Обзор литературы
  • Оптическая натура указателей
  • Существующие подходы образования бинарных интерфейсов
    • Swift
    • Rust
  • Вывод по главе
• Выводы по исследовательской части работы
• Описание ключевых технологий и подходов
  • Профункторная оптика
  • Развитие профункторной оптики
    • Выбор библиотеки оптики
  • Использование монадической оптики
  • Обобщённое программирование
  • Полиморфные данные
  • Подходы тестирования программного обеспечения
  • Вывод по главе
• Построение основных абстракций
  • Модели памяти и провенанса
  • Типы данных с точки зрения бинарных интерфейсов
    • Анатомия типа
      • Скалярные типы
        • Композитные типы
        • Ненативные типы
  • Семейства скалярных типов данных
  • Программное построение модели памяти
  • Программное построение бинарных интерфейсов
  • Порядок обобщённого построения бинарного интерфейса
  • Вывод по главе
• Примеры построения бинарных интерфейсов
  • Построение нативного бинарного интерфейса
  • Построение бинарного интерфейса языка C
  • Использование построеных интерфейсов
  • Тестирование корректности построения бинарного интерфейса
  • Вывод по главе
• Выводы по практической части работы
• Заключение
• Список литературы