Данная тема посвящена интеграции профункторной оптики с бинарными интерфейсами данных. Цель работы заключается в разработке программной библиотеки для языка 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.