OK! Ты теперь участвуешь в игре "Пидор Дня"

/pidor@SublimeBot

Согласно моей информации, по результатам сегодняшнего розыгрыша пидор дня - kelin2025!

что опять kelin?

Не, он раз в сутки выбирает

Это можно просто посмотреть результат

а, ок

Бля, я уж обрадовался

двойной пидор?

Да

/pidor@SublimeBot

Согласно моей информации, по результатам сегодняшнего розыгрыша пидор дня - kelin2025!

307 мемберов

нам конец

а сколько было

308

@kana_sama спаси

да норм

ето кто

привет

не важно

пусть будет 308-ым

Парень твой?

опять ты куда-то меныя добавил

без моего ведома

блэт

почему у меня не спрашивается разрешение?

потому что можно добавлять без разрешения

очевидно

это старые сообщения

я когда конфы новые делаю, там нужно одного чела добавлять как минимум, всегда его беру, он, видно, не против

Лол

у меня тут очередное объяснение монады через моноиды, может кому вдруг понравится

Моноид - тройка (M, f: M*M -> M, g: 1 -> M) Категория эндофункторов - категория, где объекты - эндофункторы (то есть функторы, которые принимают объект X категории С и отдают объект Y той же категории C (в этой категории эндофункторы всех категорий)). Тогда стрелка (морфизм) на этой категории - это преобразование функтора в другой функтор, это называется естественное преобразование и рисуется как ~>. Maybe ~> List, это то же самое, что и Maybe a -> List a - естественное преоабразвание мейби в список, пример такого преобразования: f :: Maybe a -> List a f (Just x) = [x] f Nothing = [] Так же определим функтор Compose f g, type Compose f g a = f (g a) instance (Functor f, Functor g) => Functor (Compose f g) where fmap f x = fmap (fmap f) x x :: Compose Maybe List Int x = Just [1] fmap succ x == Just [2] и функтор Identity, который ничего не делает type Identity a = Identity instance Functor Identity where fmap f x = f x x :: Identity Int x = 1 fmap succ x == 2 Очевидно, что Compose Identity f == == Compose f Identity == == f , поэтому если Compose - операция, то Identity - нейтральный элемент, единица Поэтому берем тройку ( M: * -> * -- конструктор типа, -- принимает тип и отдает тип -- Maybe принимает Int -- и отдает Maybe Int , join: Compose M M ~> M , return: Identity ~> M ) Compose M M ~> M == == Compose M M a -> M a == == M (M a) -> M a -- это тип join Identity ~> M == == Identity a -> M a == == a -> M a -- эти тип return Вот эта тройка - монада

hello there

Моноид - тройка (M, f: M*M -> M, g: 1 -> M) Категория эндофункторов - категория, где объекты - эндофункторы (то есть функторы, которые принимают объект X категории С и отдают объект Y той же категории C (в этой категории эндофункторы всех категорий)). Тогда стрелка (морфизм) на этой категории - это преобразование функтора в другой функтор, это называется естественное преобразование и рисуется как ~>. Maybe ~> List, это то же самое, что и Maybe a -> List a - естественное преоабразвание мейби в список, пример такого преобразования: f :: Maybe a -> List a f (Just x) = [x] f Nothing = [] Так же определим функтор Compose f g, type Compose f g a = f (g a) instance (Functor f, Functor g) => Functor (Compose f g) where fmap f x = fmap (fmap f) x x :: Compose Maybe List Int x = Just [1] fmap succ x == Just [2] и функтор Identity, который ничего не делает type Identity a = Identity instance Functor Identity where fmap f x = f x x :: Identity Int x = 1 fmap succ x == 2 Очевидно, что Compose Identity f == == Compose f Identity == == f , поэтому если Compose - операция, то Identity - нейтральный элемент, единица Поэтому берем тройку ( M: * -> * -- конструктор типа, -- принимает тип и отдает тип -- Maybe принимает Int -- и отдает Maybe Int , join: Compose M M ~> M , return: Identity ~> M ) Compose M M ~> M == == Compose M M a -> M a == == M (M a) -> M a -- это тип join Identity ~> M == == Identity a -> M a == == a -> M a -- эти тип return Вот эта тройка - монада

а че не в канал

хм, чет примитивно для канала, думаю

да, закину

просто писать статьи про монады - своего рода зашквар

а в чат закинуть норм

ну да тип встаёшь в список статей о том что такое монада

Compose - тензорное произведение, а это как раз бинарный оператор произведения для моноида в категории эндофункторов

там ещё классификация статей есть

это буррито

Монада похожа на моноид, но вместо того, чтобы иметь тип, у нас есть функтор. И выходит что монада это алгебра в категории эндофункторов

не важно какая у нас конструкция все алгебры сводятся к типу вида t^n → t mappend -> t^2 -> t или (t, t) -> t mempty -> t^0 -> t или () -> t ну и так далее

ДУАЛЬНОСТЬ

опять зига хз че пишет

/pidor@SublimeBot

Зачем вы меня разбудили...

Интересно...

Доступ получен. Аннулирование протокола.

Ага! Поздравляю! Сегодня ты пидор - @Dmitry_Kovbasa

Блять

Лол

/pidor@SublimeBot

ну, сам спровоцировал

КАК ПИДОР

?

Блять

?

А че за атомики

Рил

+

ааа это видимо атомарные операции лол)

Охуенно, и что это значит

ну тип на уровне процессора. неразделимая операция. другой тред короче не вмешается

ну тип просто не ожидаешь этого в джс встретить

ну там их нужно побольше и посложнее. типа compareAndSet

чтобы всякие локфри делать

ну тип на уровне процессора. неразделимая операция. другой тред короче не вмешается

физическая боль

что

Охуенно, и что это даёт

что

у тебя и обычное сложение идёт на уровень процессора

оооооооооооооооокей

ну тип я подумал что это новый термин

джээсовый

ну знаешь как слово нетив например

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

а тут хоп и оказывается это те же самые атомики которые реализуются процессором. ну и наверное ось этим тоже занимается

ну тип я подумал что это новый термин

суть в том что процессор дает больше гарантий для таких операций

Охуенно, и что это даёт

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

и вообще, на вики это все написано @kelin2025

Можете просто объяснить, в чем профит от этого, пожалуйста суукааа

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

О, прогрузилось

Можете просто объяснить, в чем профит от этого, пожалуйста суукааа

для обычного жиесера -- никакой

для обычного жиесера -- никакой

Все, спасибо

во многих системах атомики юзают для чеков насчет очистки мусора

ты про гц в многопоточной среде?

не обязательно многопоточной

хм. ну мб ты сейчас про то что конкарент гц можно и для однопоточного языка запилить. но так повспоминать в фиолетовом драконе говорилось read/write барьеры и это процессорные термины и я тогда не понял к чему это.

О, прогрузилось

вот это забавно выглядит

вот это забавно выглядит

Метро заебись просто

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

не оч понимаю как атомики на процессоре сделать

мож кто знает?

(а точнее я сильно сомневаюсь что они на процессоре)

Они не на процессоре конечно же) Просто бинарные данные