S
там нет никакого контейнера
если ты объявляешь переменную типа Foo, то во имя хранения на стеке либо в уме компилятора возникает пространство, в коем хранятся данные о существовании этой переменной, даже если сама по себе она ничего не значит
Size: a a a
2020 June 11
AD
Ну я лично хочу поработать в Майкрософт. Ток ктож меня туда позовёт 🤷🏻♂️
Корпорация зла же
p
если ты объявляешь переменную типа Foo, то во имя хранения на стеке либо в уме компилятора возникает пространство, в коем хранятся данные о существовании этой переменной, даже если сама по себе она ничего не значит
struct Foo<T>(PhantomData<T>);
тут sizeof Foo == 0
тут sizeof Foo == 0
p
то есть память не выделяется
VS
Корпорация зла же
Му ха ха 😈
а
то есть память не выделяется
Это частная оптимизация компилятора,а не общее правило
p
со стримом та же хуйня. там данные поступают извне, и компилятор не знает об этом.
p
Ну я лично хочу поработать в Майкрософт. Ток ктож меня туда позовёт 🤷🏻♂️
S
в общем монада - это такая коробка из пуленепробиваемого стекла, внутри которой хранится мячик определенного цвета, и функция, которая принимает эту коробку и функцию, принимающую шарик и создающую новую стеклянную коробку с новым шариком какого-нибудь цвета, основываясь на данных шарика-аргумента
AZ
в питоне и без ; всё работает
от того что в питоне они пишутся как \n а не ;\n они не исчезли
AD
Му ха ха 😈
шо мухаха, работая на майкрософт, делаешь себе хуже
S
поскольку при применении внешней функции на коробке у нас получается новая коробка, мы можем на результирующей коробке снова вызвать внешнюю функцию с какой-нибудь еще функцией-модификатором
S
и на этом работает угнетание ленивых языков в пользу последовательной работы с шариком в коробке
AZ
все разное пояснение дают ту
напиши пару монад и код с ними
AZ
станет понятно
AZ
в общем монада - это такая коробка из пуленепробиваемого стекла, внутри которой хранится мячик определенного цвета, и функция, которая принимает эту коробку и функцию, принимающую шарик и создающую новую стеклянную коробку с новым шариком какого-нибудь цвета, основываясь на данных шарика-аргумента
МОНАДЫ ЭТО НЕ КОРОБКИ
Посмотрите доклад, он топовый
Посмотрите доклад, он топовый
e
МОНАДЫ ЭТО НЕ КОРОБКИ
Посмотрите доклад, он топовый
Посмотрите доклад, он топовый
недавно видел в реках
звук конечно топовый
звук конечно топовый
S
МОНАДЫ ЭТО НЕ КОРОБКИ
Посмотрите доклад, он топовый
Посмотрите доклад, он топовый
слово эндофункторы еще сложнее чем слово монады и ничего не объясняет
e
можно не смотреть, скукота на самом деле
G
слово эндофункторы еще сложнее чем слово монады и ничего не объясняет
Эндофунктор - всего лишь функтор с dom = cod