В каком смысле?

ща позавтракаю и попробую это прочитать

Да необязательно все, мне просто интересно, начинают в ФП с тех же вещей, или у них какой-то свой frame of reference. Если он есть, он неочевиден. Их, видимо, интересуют какие-то свои функторы, и непонятно какие, и если опираттся на обычные определения и примеры, то объяснения в ФП непонятные.

Например, какие типичные примеры функторов, если у математика спросить? Двойственное постранство, свободный объект, алгебраический инвариант какой-нть (гомотопическая / гомологическая группа). Все эти примеры полностью мимо в ФП, мне кажется. А что должно быть вместо них, непонятно. И если они не используют бикатегории, то интересно, что там вместо этого.

я в фп пока еще не умею, потому что не понимаю, что такое монады

Я тоже, но с обычного математического бэкграунда «это как моноидальный объект, только в бикатегориях» выглядит более подъемно чем то, что я обычно читаю в дискуссиях про Хаскелль. Но м.б. толку от понимания этого определения все равно не будет, потому что в ФП совсем свой угол зрения. Если им бикатегории не нужны, у них, наверное, должно быть что-то еще, что упрощает понимание. Модельные примеры категорий эндофункторов, например (в ncatlab на соотв. странице примеров нет).

у меня нет математического бэкграунда 8(

Что такое монада Лейбница?

Монада :^)

Глянь статейку, там ближе к программерам описание

у меня только сишный бэкграунд есть. Поэтмоу когда пару лет назад я сел написать простенькую прогу на хаскеле, то застрял на том, что я конечно могу при некотором шаманстве из объекта imapclient вытащить файловый дескриптор его tcp соединеня, но как потом его и файловый дескриптор stdin засунуть в аналог селекта я уже не осилил

мне хаскель напоминает мануал "как нарисовать сову"

А я даже использую, но уже не помню как настраивал!

Мотивируй!

угу, тоже часто такая же фигня, потом другим говоришь "оно же искаропки работает!"

ох, перепись неосиляторов

R!

Нет, R!

Утащила!

@thearcticcat скринь