Публикации по теме 'category-theory'


Вакансия: Менеджер по продуктам машинного обучения
Я хотел бы возразить, что определенная работа или роль важнее, чем можно предположить по сегодняшнему размеру ее рядов, и что ее важность даже возрастет. Уже существует множество сбивающих с толку профессий, связанных с данными и машинным обучением, поэтому первый вопрос: зачем иметь другую или чем она отличается? Мотивация, стоящая за моей мыслью, заключается в том, что многие компании, похоже, изо всех сил пытаются воспользоваться преимуществами данных с помощью машинного обучения,..

Вопросы по теме 'category-theory'

ScalaCheck высокого порядка
Рассмотрим следующее определение категории: trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } Вот пример унарных функций: object Category { implicit def fCat = new...
852 просмотров

Краткое резюме для comonad. (Где монада - это «тип для нечистых вычислений»)
С точки зрения содержательного резюме - это описание Монад, кажется, выигрывает - описывая их как «тип для нечистых вычислений». Что является эквивалентным содержательным (состоящим из одного предложения) описанием комонады?
376 просмотров
schedule 30.09.2022

Как соотносятся ункарри и фанин в теории категорий?
В библиотеке, которую я пишу, мне показалось элегантным написать класс, похожий (но немного более общий), чем следующий, который сочетает в себе как обычные uncurry над продуктами, так и функцию fanin (из здесь или здесь , если хотите): {-#...
488 просмотров
schedule 26.12.2023

Как подъем (в контексте функционального программирования) соотносится с теорией категорий?
Глядя на документацию Haskell , подъем кажется в основном обобщением fmap , позволяющим отображать функции с более чем одним аргумент. Статья Википедии о подъеме дает иное мнение, определяя «подъем» с точки зрения морфизма в категория, и как...
1290 просмотров
schedule 25.12.2023

Являются ли естественные преобразования, которые мы применяем к Койонеде, чтобы получить функтор, действительно естественными преобразованиями?
У меня теоретический вопрос о природе типа, который используется во многих примерах, объясняющих лемму Койонеды. Их обычно называют «естественными преобразованиями», которые, насколько мне известно, являются отображениями между функторами. Что меня...
248 просмотров
schedule 01.04.2024

Монада: Какое значение имеет Идентичность, что произойдет, если в наборе не будет такого специального члена?
Я пытаюсь понять концепцию monad , смотрю это отличное видео , Брайан Бекенд пытается объяснить, что такое монада. Когда он говорит о monoid , это набор типов, у него есть правило композиции, и эта композиция должна подчиняться 2 правилам:...
125 просмотров

Какими будут методы бикомонады?
Размышляя над тем, какой более полезный стандартный класс предложить этому class Coordinate c where createCoordinate :: x -> y -> c x y getFirst :: c x y -> x getSecond :: c x y -> y addCoordinates :: (Num x, Num y) => c x...
237 просмотров

Где бифунктор для функций в haskell?
Я не могу найти бифункторный аналог fmap. Объяснение: Функтор для объектов - конструктор типа данных. Тип 1_ Функтор для функций - fmap . Тип - (a -> b) -> (fa -> fb) Бифунктор для объектов - результат bimap f g , где f ::...
397 просмотров
schedule 24.02.2024

Для чего Representable используется в Haskell?
Я хочу понять, что означает Representable означает в Haskell. Определение Представимые эндофункторы над категорией типов Haskell изоморфны читающей монаде и поэтому бесплатно наследуют очень большое количество свойств. мне недостаточно...
1116 просмотров
schedule 12.02.2024

Написание карты для этого преобразователя монад
У меня есть преобразователь монад: newtype ChoiceT f m a = ChoiceT (forall x . f x -> m x) -> m a Теперь я думаю, что это функтор категории Monad s, и я хотел бы сделать карту для этого mapChoiceT :: (n b -> m a) -- ^...
136 просмотров

Почему функция с бесполезным изолированным `static` считается нечистой?
В статье Википедии о чистой функции есть пример такой нечистой функции: void f() { static int x = 0; ++x; } С замечанием «из-за мутации локальной статической переменной». Интересно, почему это нечисто? Это от типа единицы к типу...
137 просмотров

Схема рекурсии, допускающая зависимости между рекурсивными вызовами (упорядоченный катаморфизм?)
Меня интересует способ более высокого порядка (схема рекурсии) для написания рекурсивного кода, в котором могут быть зависимости между рекурсивными вызовами. В качестве упрощенного примера рассмотрим функцию, которая проходит по дереву целых чисел,...
96 просмотров