Ну я говорил про контекст обсуждения. Вообще большие проблемы с этими введениями с этими ассоциациями haskell-теоркат. Надо бы один раз написать правильную денотационную семантику с dcpo-enriched 2-категориями и отсылать к ней. По крайней мере от всех известных мне ловушек интерпретации это поможет

разве какой-нибудь Coq не удобнее для веселья с теоркатом?

о как, есть какие-то рекомендуемые ресурсы чтоб это посмотреть / опробовать ?

у кока оч хороший офф сайт

если найду вброшу

похоже кто такой кок - я тоже пока не знаю 😂

разве какой-нибудь Coq не удобнее для веселья с теоркатом?

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

опять трудности себе выдумываете. Лишь бы на хаскеле не писать

Вот вечно админы с яваскриптерами за теоркат топят.

В реальности в хаскеле будешь мучаться с исключениями и дедлоками. И еще с забытыми бангами в полях.

С компиляцией генериков

Вообще я за то, чтобы отсюда прогоняли в теоркаточат

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

ссаными тряпками.

о как, есть какие-то рекомендуемые ресурсы чтоб это посмотреть / опробовать ?

но топикстартеру теоркат или хаскель?

хейт-спич разрешен против некоторых категорий граждан. Например против белых цисгендерных мужчин увлекающихся теорией категорий.

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

> увлекающихся теорией категорий Я тут вижу антисемитизм. И нужно ещё доказать, что я цисгендерный

мои чувства важнее твоих фактов.

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

лучше что-то написать на хаскеле, пртом провести разбор и посчитать, сколько потребовалось теорката

В чате есть небольшая группа лиц, которые любят обсуждать зигоморфизмы. Это круто, но это не про Хаскель. Просто игнорь их

в общем пока стратегия такая - учу базу хаскеля и пишу как идёт, а там уже когда и если дойду до теор кат, и это будет заходить - то посмотрю в эту сторону, а пока можно не сильно лезть в эту сторону и просто освоить хаскель как отдельно язык

А если теоркат на задачу не налазит, что делать?

что делать если паттерн factory не решает вашу задачу?

что делать если паттерн factory не решает вашу задачу?

уйти в девопсы

использовать factory factory, конечно же

Программирование на Haskell - это ремесло, искусство или наука?

Инженерия?

Программирование на Haskell - это ремесло, искусство или наука?

это искать работу полгода

фейсбук небось, они всем писали?