• ВХОД

    •  

    Полное описание

    Краснов, Михаил Михайлович. Применение монадных вычислений при решении численных задач / М. М. Краснов ; Институт прикладной математики имени М. В. Келдыша (Москва). - Москва : ИПМ им. М. В. Келдыша РАН, 2024. - 24 с. - (Препринт / Институт прикладной математики имени М. В. Келдыша Российской академии наук (Москва), ISSN 2071-2898 ; 2 за 2024 г.). - Библиогр.: с. 23-24 (18 назв.). - 59 экз. - DOI 10.20948/prepr-2024-2. - Текст (визуальный) : непосредственный.
    На обложке: Российская академия наук - 300 лет.
    Содержание:
    Введение. - С. 3
    Краткое введение в функциональное программирование. - С. 4
    Математические основы функционального программирования. - С. 5
    Функторы и монады в программировании. - С. 7
    Библиотека функционального программирования. - С. 11
    Применение библиотеки для численных методов. - С. 12
    Сеточные выражения и сеточные функции. - С. 13
    Сеточные выражения как функторы, аппликативы и монады. - С. 14
    Примеры. - С. 17
    ГРНТИ УДК
    27.41.23519.6(04)

    Рубрики:
    Численные методы

    Кл.слова (ненормированные): БИБЛИОТЕКА ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ -- МАТЕМАТИЧЕСКИЕ ОСНОВЫ -- МОНАДЫ -- ПОСТРОЕНИЕ СЕТКИ -- ФУНКТОРЫ -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- ЧИСЛЕННЫЕ МЕТОДЫ
    Аннотация: Данная работа является дальнейшим развитием исследований по применению функционального программирования для численных методов. В частности, функциональное программирование может помочь в перенесении программ на графические ускорители с технологией CUDA. В предыдущих работах основной упор делался на функторах (и аппликативных функторах). Теоретические основы монадных вычислений излагались, но в настоящей работе основной упор делается на их практическом применении. Один из базовых принципов функционального программирования - композиция функций, которая позволяет строить из простых функций сложные и, таким образом, упрощает написание сложных программ. Монадные вычисления позволяют строить цепочки сложных вычислений. Такие цепочки - это тоже, в некотором смысле, композиция функций, но на более высоком, монадном уровне (монадная композиция).
    Доп. точки доступа:
    Институт прикладной математики имени М. В. Келдыша (Москва)

    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/2 за 2024 г.)

    Шифр в сводном ЭК: 211d84ca1c9021e4049dcbe63a60ab4b



    Заказ фрагмента документа ₽