Стак по дефолту генерит папки app и src. Какой код куда класть? Были мысли, что в src нужно все, что не связано с приложением, но используется там, а в app все, что не имеет смысла без контекста приложения. Другой вариант - все в src, а в app чисто бутстрап приложения (консольный фронтенд например, парсинг аргументов) или же все с io

instance Monad m => Category (Kleisli m) в стандартной библиотеке — это представление категории монад в Хаскелле, которое вы тут ищете?

@cblp_su категория Клейсли — это не категория монад

чот не раскрыты темы профункторов и гистоморфизмов

профунктор это бифунктор, контравариантный по первому параметру

а гистоморфизм это схема рекурсии учитывающая предыдущие результаты

Спасибо, так намного яснее стало.

Если это был сарказм, то можно и разъяснить

придумай слова попроще

придумай слова попроще

можно говорить «плюшечка» вместо «профунктор», но это не сделает его понятнее

профунктор это бифунктор, контравариантный по первому параметру ^ всё сложно Из всего только "функтор" в голову лезет. Объект, который можно вызвать (функтор в спп)

Это не тот функтор

> Из всего только "функтор" в голову лезет. Объект, который можно вызвать (функтор в спп) объект, который можно вызвать - функция, зачем придумывать такие сложные слова?

@Epikur В качестве эксперимента могу объяснить, что такое функтор (не в C++, а у здоровых людей), что такое бифунктор, что такое ко/контравариантность, и как из этого вытекает определение профунктора. Но взамен ты предложишь объективно более подходящие термины, чтобы новичку сразу по названию стало ясно, о чем речь

@Epikur В качестве эксперимента могу объяснить, что такое функтор (не в C++, а у здоровых людей), что такое бифунктор, что такое ко/контравариантность, и как из этого вытекает определение профунктора. Но взамен ты предложишь объективно более подходящие термины, чтобы новичку сразу по названию стало ясно, о чем речь

Ну очевидно что он этого не сделает)

Бэкграунд опиши свой. Haskell на каком уровне знаешь?

вы обо мне плохого мнения :C

P = PN тоже не докажешь, увы

P = PN тоже не докажешь, увы

не, там нашли фейл

Скорее !=

Ок, C#. Я его плохо помню, но попробую что-нибудь сообразить. Представь себе всякие контейнеры — списки, деревья, массивы, и т.д — штуковины хранящие в себе элементы.

Скорее !=

Между ними общего то, что в них лежат элементы, и для них можно придумать функцию map, которая будет принимать делегат и применять к каждому элементу

в доказательстве, что не равны, нашли фэйл. С другой стороны недавно проскочило, что задача про расстановку ферзей NP, но вроде как ее почти-почти решили, а это значит P=NP. Если я ничего не путаю

Оно сохраняет форму, т.е. если на вход дерево, то и на выход дерево