Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Данная тема посвящена интеграции профункторной оптики с бинарными интерфейсами данных. Цель работы заключается в разработке программной библиотеки для языка 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
- Использование построеных интерфейсов
- Тестирование корректности построения бинарного интерфейса
- Вывод по главе
- Выводы по практической части работы
- Заключение
- Список литературы
Статистика использования
|
Количество обращений: 1
За последние 30 дней: 1 Подробная статистика |