Nick By

Подскажите какой сейчас рекомендованный подход с передачей опциальных (optional) параметров в функцию? Я нашел по крайней мере 6 возможности. 1. Использывать библиотеку Data....

я читаю книжкуHaskell Programming и не совсем понял вот это предложение: "Applicative, we saw, is a monoidal functor, and gives us a way to transform any values contained with...

я делаю композицию функсии одного аргумента после функции 2 аргументов и есть по крайней мере 5 подхода, которые описываются здесь: 1. Непосредственно прописать 2 параметра в...

я изучаю основы теории категорий с Хаскелом, и хотел бы найти примеры функторов из категории конечных частично упорядоченных множеств. Что проишодит с начальными и терминальны...

Я пытаюсь понять высказывание, что всегда существует композиция двух эндофункторов, заданных на одной категории в этиу же категорию. Да, функторы всегда задаются на всей катег...

я изучаю основы теории категорий с Хаскелом, и хотел бы найти примеры функторов из категории конечных частично упорядоченных множеств. Что проишодит с начальными и терминальны...

\Не могли бы вы пожалуйста прислать пример? Это ведь всего 3-4 строки?

У меня элементарный вопрос начинающего. Я только что прочитал про дуальную категорию и вопрос. Предположим у меня есть категория C из двух множеств {1,2} -> {3}. Стрелка задае...

Дело в том что у меня тьюплы как элементы списка. Кто-нибудь определял класс Ord для кастомизированных тьюплов, чтобы можно было множество построить?

Я пытаысь представить простые категории через их эквивалент в категории графов. Важнейшей функцией в таком представлении является отображение стрелок (Homset) в начальные и ко...

Ord Ord будет автоматически воспроизводиться?

type (:?) name a = NamedF Maybe a name -super, похош на typescript. А есть примеры как использывать :?

подскажите есть ли телеграм канал по Scala подобный haskellru?

Подскажите какую бесплатную программу можно использывать чтобы рисовать диаграммы категорий? Я бы использывал что-то типа Мицрософт Visio, но сейчас у меня на компъютере ее н...

А вы лично где рисуете диаграммы категорий?

yя хочу от тыпа имеющего только два элемента C =C1 | C2 перейти на тип с произвольным числом элементов через Nat. это вообще имеет смысл?

Дело в том, что Left - тип Type -> Type/ Можно ли сконфигурировать ghci?