home.social

#функторы — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #функторы, aggregated by home.social.

  1. Категории типов. Часть 2. Функторы

    Это вторая вводная часть обзора, посвящённого применению теории категорий в программировании. В первой части представлены некоторые основные определения теории, в том числе, hom-типы, их значения-морфизмы, а также их композиция, позволяющая строить пути вычислений в рамках одной категории. В данной же публикации мы рассмотрим, как пути вычислений можно прокладывать через разные категории . Фокус заключается в том, что...

    habr.com/ru/articles/933016/

    #scala #теория_категорий #функциональное_программирование #функторы

  2. Функциональное программирование в Android. Теория категорий и DI

    Кульминация цикла о функциональщине в Android! Сегодня изучаем чистые функции — ещё один важный принцип функционального программирования. Учтём контекст и познакомимся с сопутствующими терминами, раскрывающими суть чистых функций. А ещё обсудим место концепции Dependencies Injection в функциональном программировании. В общем, вперёд за новыми знаниями!

    habr.com/ru/companies/dododev/

    #android #функциональное_программирование #теория_категорий #каррирование #частичное_применение #монада #функторы #kotlin #мобильная_разработка #closure

  3. Классические абстракции используемые в ФП

    Это продолжение статьи про имплиситы и тайпклассы в Scala (если вы не знакомы с ними, то предлагаю начать с предыдущей статьи). А в этой статье рассмотрим классические примеры тайпклассов и их свойства и научимся писать максимально обобщенный код на Scala Читать статью

    habr.com/ru/articles/896660/

    #scala #функциональное_программирование #функторы #моноид #полугруппа #аппликативные_функторы