P
если компилятор может доказать, что синхронизация не нужна -- он её выкинет на этапе escape analysis
Size: a a a
2020 February 22
D
как он может это доказать?
SP
ну как же? программирование -- решение человеческих проблем средствами компьютера, одна из таких проблем -- хранение и доступ к данным по сети интернет
и снова нет
P
Dima
как он может это доказать?
а как раст может доказать, что переменную дропнули и второй раз не надо?
SP
павлу удавалось косить под адеквата месяцами и тут его ПРОРВАЛО
P
Dima
как он может это доказать?
D
если компилятор может доказать, что синхронизация не нужна -- он её выкинет на этапе escape analysis
раст не может доказать нужен мне тут Load::Acquire или нет
D
давай не будем
D
при чем тут локи
P
павлу удавалось косить под адеквата месяцами и тут его ПРОРВАЛО
это тебе показалось, я просто раньше ничего про хаскель не писал, а ты тут спросил "почему никто не учит хаскель" и я ответил, а оказалось, что этот вопрос был идеологическим, а не практическим, вот ты и записал меня во враги, а чтоб не париться по тому, как твои идеи разбиваются о прагматизм, ты решил записать меня в неадекваты, чтоб психика выдерживала этот когнитивный диссонанс.
SP
самое смешное, эти мани будут говорить что аннотации это те же типы. да конечно это те же типы - дай мне возможность проаннотировать что тут у меня может быть обьект, а тут у меня нуллабл обьект
P
Dima
при чем тут локи
при конкаренси
SP
это тебе показалось, я просто раньше ничего про хаскель не писал, а ты тут спросил "почему никто не учит хаскель" и я ответил, а оказалось, что этот вопрос был идеологическим, а не практическим, вот ты и записал меня во враги, а чтоб не париться по тому, как твои идеи разбиваются о прагматизм, ты решил записать меня в неадекваты, чтоб психика выдерживала этот когнитивный диссонанс.
мои идеи как раз говорят что хаскель мне бы очень хорошо зашел
AR
Хаскель язык богов
P
мои идеи как раз говорят что хаскель мне бы очень хорошо зашел
почему "бы"?
P
самое смешное, эти мани будут говорить что аннотации это те же типы. да конечно это те же типы - дай мне возможность проаннотировать что тут у меня может быть обьект, а тут у меня нуллабл обьект
так а разве с типами ты не то же самое пишешь?
SP
потому что я только начал его понимать
D
при конкаренси
ты на java мне замути лок, без твоего рантайма, и совершенно убогой модели памяти что твоя jvm предоставляет
P
Dima
ты на java мне замути лок, без твоего рантайма, и совершенно убогой модели памяти что твоя jvm предоставляет
чем модель памяти тебе не нравится?
SP
так а разве с типами ты не то же самое пишешь?
с типами я такое могу написать. а в жаве насколько я понимаю любой обьект это наллабл обьект