Публикации по теме '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 просмотров
schedule
28.11.2022
Краткое резюме для 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 просмотров
schedule
10.11.2022
Какими будут методы бикомонады?
Размышляя над тем, какой более полезный стандартный класс предложить этому
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 просмотров
schedule
04.03.2024
Где бифунктор для функций в 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 просмотров
schedule
06.06.2024
Почему функция с бесполезным изолированным `static` считается нечистой?
В статье Википедии о чистой функции есть пример такой нечистой функции:
void f() {
static int x = 0;
++x;
}
С замечанием «из-за мутации локальной статической переменной».
Интересно, почему это нечисто? Это от типа единицы к типу...
137 просмотров
schedule
01.12.2022
Схема рекурсии, допускающая зависимости между рекурсивными вызовами (упорядоченный катаморфизм?)
Меня интересует способ более высокого порядка (схема рекурсии) для написания рекурсивного кода, в котором могут быть зависимости между рекурсивными вызовами.
В качестве упрощенного примера рассмотрим функцию, которая проходит по дереву целых чисел,...
96 просмотров
schedule
16.03.2024