Vasiliy

такая мысль возникла: вот в школе, когда мы арифметику учим, нам рассказывают, что от перестановки слагаемых сумма не меняется, что 2*(3+4) = 2*3+2*4 итд, а потом начинают пос...

в общем, есть у меня задача написать небольшого демона на плюсах, с ним надо общаться по http. после servant делать http как-то по-другому не хочется вообще, отсюда вопрос - н...

аналогично \x -> case x of поначалу понятнее, чем \case, но потом при виде первого варианта думаешь - ёлыпалы, зачем так много буков?

в гугле повсеместно используется термин "свободная монада", но вдруг она на самом деле "бесплатная"?

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

может, так проще будет? λ> :t do x <- (+3); y <- (*2); z <- (/2); pure [x, y, z] do x <- (+3); y <- (*2); z <- (/2); pure [x, y, z] :: Fractional t => t -> [t]

zert: ты когда-то писал, что твой сын на каком-то мероприятии по робототехнике занял какое-то место; а что за роботы, что за техника и вообще?

не, то, что морфизмов A->A может быть сколько угодно - это понятно, но как может быть много id?

ну а как то, что он не развивается, относится к тому, что его надо выкинуть?

в чём разница между (C1 a, C2 b) => a -> b -> c и C1 a => C2 b => a -> b -> c?

кстати, за acid-state - его вообще не стоит рассматривать, как годный сторадж?

ну почему? натуральное число - объект, прибавление единицы - морфизм

то есть, по сути, эта функция показывает, что prop тоже Void?

что значит костылить? GeneralizedNewtypeDeriving же

то, что описано в стандарте? там никаких расширений нет

как-то сложно... (K [a] b) уже моноид, зачем там Endo?

а инвесторам важно, на чём оно реализовано?

> пишущий резак неужели этим ещё пользуются?

\x -> case x of читается труднее, чем \case?

так - и / разделяют слова или являются частью слова?