Это третья часть обзора и она всё также вводная)). В первой было рассказано о категориях типов, а во второй — о категории подкатегорий типов с её морфизмами-функторами. В этот же раз нам предстоит разобраться, как эти самые функторы взаимодействуют между собой. Читать далее
Это вторая вводная часть обзора, посвящённого применению теории категорий в программировании. В первой части представлены некоторые основные определения теории, в том числе, hom-типы, их значения-морфизмы, а также их композиция, позволяющая строить пути вычислений в рамках одной категории. В данной же публикации мы рассмотрим, как пути вычислений можно прокладывать через разные категории. Фокус заключается в том, что...
Это перевод статьи из целого цикла постов "Грокаем функциональное программирование" Мэта Торнтона. Я позволил себе немного поменять порядок постов. В оригинале, функторы идут после монад, что мне показалось неверным. Всякая монада - это функтор, но не всякий функтор - это монада.…
1. VICHY MINERAL 89 Крем увлажняющий для всех типов кожи 72 ч: Интенсивно увлажняет кожу, восстанавливает и укрепляет её защитный барьер.2. VICHY MINERAL 89 Гель-сыворотка для всех типов кожи: Усиливает естественные защитно-барьерные функции кожи. УкрепляетContinue readingVichy Mineral 89 Набор крем увлажняющий для всех типов кожи 72ч 50мл + Mineral 89 гель-сыворотка для всех типов кожи 30мл (-20%)