Ну да

↑ плохая стрелка

надо ⬆️

?

в математике уже мало шрифтов

и они будут использовать эмодзи

о нет

? f a b = f b a

?*? = ❤️ (1 + 2?) * (2 + 3?) = 2 + 4? + 3? + 6(?^2) = 2 + 7? + 6❤️

??? Составной оператор, обозначающий вызов функции Грэма с числом Аккермана

⏺ f g = \x -> f (g x)

ой

А, или это другая стрелка была, лол

Она уже забита обозначением категории-запятой

Она уже забита обозначением категории-запятой

Не может быть

Она раньше появилась

??? Составной оператор, обозначающий вызов функции Грэма с числом Аккермана

бля, опоздал

точнее так ⏺ f g = ? x ➡️ f (g x)

мммм

надо завтра выучить emojicode

и так

вопрос

я как-то в детстве писал свой язык

и писать рекурсивные схемы на нем

я как-то в детстве писал свой язык

Такая же фигня

как брейнфак только намного круче

Мне иногда жалко людей, которые посреди рофлом постят вопросы

и название было

что для комонады будет MonadPlus (то есть обратное для MonadPlus)

лисп напиши

Я кстати вплотную подходил к своей реализации лиспа

https://github.com/zerobias/speak-r

С рантаймом в рамде, лолл

что для комонады будет MonadPlus (то есть обратное для MonadPlus)

ComonadMinus

и название было

©h@®

и я думал что типа из-за названия язык выстрелит

ComonadMinus

то что ты бредятину несешь я вижу)

что для комонады будет MonadPlus (то есть обратное для MonadPlus)

СоMonadProd

ну это предположение, дай категороное описание MonadPlus

можно с моноидами и эндофункторами

В качестве исключения

https://github.com/zerobias/speak-r

https://github.com/raine/ramda-cli

ComonadProduct? что это такое?)

https://github.com/raine/ramda-cli

when [ == 1 , + 10 ] objOf 'value' Похоже, лол

() -> m a (m a, m a) -> m a m a -> () m a -> (m a, m a)

выглядит как комоноид

Но дальше всех зашёл чувак с целым языком на рамде, забыл как называется

потому что внезапно MonadPlus это моноид, что еще это могло быть

Юзать его он конечно не стал

потому что внезапно MonadPlus это моноид, что еще это могло быть

это semiring

https://github.com/yosbelms/ramdascript

Ога, оно

схуяли? Ты говоришь, что monadplus это семиринг потому что у нас типа есть Alternative и MonadPlus?

они же перекрываются часто

Ну мне кстати профит в том был, что в дальнейшем умение строить грамматики и интерпретации языка оч помогло)

я думал, MonadPlus в принципе станет не нужен после введение в хаскель Applicative => Monad

монада - это алгебра в категории эндофункторов

комонада - это коалгебра в категории эндофункторов

ага, ладно

пойду аниме смотреть

Комонада ето объект

так как алгебра это всегда моноид а коалгебра - комоноид

так как алгебра это всегда моноид а коалгебра - комоноид

оп, вот это интересно

не знал, что алгербра - это всегда моноид

но откуда тут вылез semiring. Что есть 0/1/+/*?

mplus, mzero, return, join

ERROR: S client not available

return нельзя рассматривать как 0/1, так как это стрелка, а не элемент множества

в категории эндофункторов можно

join - m*m -> m return - 1 -> m = m^1 = m ты про это типа?

mzero - m mplus - m + m = m

join - m*m -> m return - 1 -> m = m^1 = m ты про это типа?

поищи про лемму йонеды и осознай, что нет различий между стрелками и обьектами

поищи про лемму йонеды и осознай, что нет различий между стрелками и обьектами

?

да это очевидно вроде

и без каких-то странных лемм

return нельзя рассматривать как 0/1, так как это стрелка, а не элемент множества

.

Monad ~ Monoid MonadPlus ~ Semiring (Monoid with (+) and 0)

написал простой maybe на emojicode

? ❓ ? T ? ? ? v ?T ? ? =v ?T ? ? v =v ? ? ? ➡️ ? ? ? ☁️v ? ? ☢️ ➡️ T ? ? ?v ? ?

а есть ли вариант построить кольцо в категории эндофункторов?

и что тогда аппликатив в этой категории?

? ❓ ? T ? ? ? v ?T ? ? =v ?T ? ? v =v ? ? ? ➡️ ? ? ? ☁️v ? ? ☢️ ➡️ T ? ? ?v ? ?

я чую это rust

неа

потому что есть открытие и закрытие скобок

в расте эксплицитно запретили называть переменные эмодзи(

это хуйня какая-то дикая

да я не про это

надо написать физзбазз еще

бля, пытаюсь найти эмодзи равенства

а мне там всякое гендерное равенство впихивают

?‍?‍?‍?

⚣

это фп-код, если кто-то видит

квадратик?

ты не видишь

видят только избранные

квадратик?

Два кружочка ващет

там еще палочки

аж 6