(*__*)

Вопросик. Рассмотрим категорию P(X) подмножеств множества X с морфизмами в виде включений. Пусть даны множества A,B. Какое категорное понятие выражает объект A\B?

задам возможно глупый вопрос - имеет ли смысл изучать теоркат при отсутствии глубоких познаний в какой-то из привычных мат.дисциплин?

Теоркат вообще как-то напрямую прилагается где-то? (ну кроме как инструмент для известных штук)

Ой нет. А у нас как считается,bottom всегда переходит в bottom при вычислении функции?

Ну типо эквивалентности чем-то проиндексированы упорядоченным. И идя от меньшего к большему получаем сначала изоморфизм,а потом равенство?

Я кажется понял одну вещь... Фри монаду лишь только для контрвариантных функторов(по крайней мере не для всех)не построить... Давайте рассмотрим такой пример: Free (b ->) a -...

Появился вопрос: Есть класс Monoidal(моноидальная категория с бифунктором и единичным объектом) class Bifunctor (⊗) =>Monoidal i (⊗) where α :: a ⊗ (b ⊗ c) -> (a ⊗ b) ⊗...

Почему кстати Nothing <> Just 1 дает Just 1? Где логика. Maybe типо для отлова ошибок,а вместо mempty можно было поставить Just mempty.

Можно ещё вопросик: data DS :: Symbol -> Type where DS :: DS k как написать для него инстанс в ToJSON и FromJSON,чтобы был такой результат: encode (DS :: DS "hello") ==>...

А можно вообще впринципе перехватить как-то сообщения из консоли до того,как оно будет выведено?

Из Applicative можно вывести devide(Divisible): devide :: (Contravariant f,Applicative f)=>(c -> (b,a)) -> f a -> f b -> f c devide f a b = contramap f (mult b a) Это нормал...

Ещё один тупой вопрос: В чем принципиальное отличие монад от стрелок? Монады: a -> State s b a -> Maybe b a -> Writer s b Стрелки: State s a b Kleisli Maybe a b Kleisli Maybe ...

Появился вопрос: Существует ли какая-то абстракция,объединяющая монады и зависимые типы и ее реализация на haskell(какие-то библиотеки например)?

Появился вопрос: Как указать на уровне типов,что два значения не одного типа. Т.е. можно указать,что 2 значения одного типа "(a,a)". Можно указать что не обязательно одного "(...

Кто-нибудь кстати знает возможно ли программировать на haskell под Андроид?

Возникает вопрос: Почему не переписать haskell заново хотя-бы на 50%,учитывая то количество надстроек и костылей,которое приходится применять для введения новых концепций?

Тогда возникает вопрос: А почему бы не описать фри стрелку? И с помощью фри стрелки сделать фри контрмонаду...

Разве для произвольного типа А с одним конструктором( В a1 a2 a3... an ... A ... f A) church encoding версия не так будет выглядеть: forall a.(a1 -> a2 -> a3 -> ... -> an -> ....

Кто-нибудь знает,есть ли в haskell возможность переназначать инстансы? Пример: class ToInt a where toInt :: a -> Int instance ToInt a where toInt _ = 0 instance To...

Можно ещё вопрос: Представим,что у нас есть какой-то type family P (a :: Type) :: Type И функция: f : a -> P a Как сделать так,чтобы возвращаемый ей тип вычислялся как резул...