Table | Card | RUSMARC | |
Allowed Actions: –
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group: Anonymous Network: Internet |
Annotation
Данная тема посвящена интеграции профункторной оптики с бинарными интерфейсами данных. Цель работы заключается в разработке программной библиотеки для языка 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.
Document access rights
Network | User group | Action | ||||
---|---|---|---|---|---|---|
ILC SPbPU Local Network | All |
![]() ![]() ![]() |
||||
Internet | Authorized users SPbPU |
![]() ![]() ![]() |
||||
![]() |
Internet | Anonymous |
Table of Contents
- Термины и определения
- Введение
- Описание проблематики бинарных интерфейсов данных
- Проблемы с C ABI
- Распространение нестандартных ABI
- Вывод по главе
- Обзор литературы
- Оптическая натура указателей
- Существующие подходы образования бинарных интерфейсов
- Swift
- Rust
- Вывод по главе
- Выводы по исследовательской части работы
- Описание ключевых технологий и подходов
- Профункторная оптика
- Развитие профункторной оптики
- Выбор библиотеки оптики
- Использование монадической оптики
- Обобщённое программирование
- Полиморфные данные
- Подходы тестирования программного обеспечения
- Вывод по главе
- Построение основных абстракций
- Модели памяти и провенанса
- Типы данных с точки зрения бинарных интерфейсов
- Анатомия типа
- Скалярные типы
- Композитные типы
- Ненативные типы
- Скалярные типы
- Анатомия типа
- Семейства скалярных типов данных
- Программное построение модели памяти
- Программное построение бинарных интерфейсов
- Порядок обобщённого построения бинарного интерфейса
- Вывод по главе
- Примеры построения бинарных интерфейсов
- Построение нативного бинарного интерфейса
- Построение бинарного интерфейса языка C
- Использование построеных интерфейсов
- Тестирование корректности построения бинарного интерфейса
- Вывод по главе
- Выводы по практической части работы
- Заключение
- Список литературы
Usage statistics
|
Access count: 1
Last 30 days: 0 Detailed usage statistics |