BP
Или падать будет идейка
Size: a a a
2020 October 26
I
вот поэтому и говно
Существует ли небытие?
(
Существует ли небытие?
Опять ты со своими тюремными загадками
Определи небытие
Определи небытие
(
И вообще, давай от нытья в доеб до слов не уходи, иди лучше Котлин делай великим
I
декораторы выполняют две роли - предоставляют некий контекст R : A1 & A2 & ... &Ak или модифицируют контрол флоу
Испокон веков монады выполняли именно эти функции, например, для контекста см. Reader, для модификации контрол флоу MonadFail
ииии все
Испокон веков монады выполняли именно эти функции, например, для контекста см. Reader, для модификации контрол флоу MonadFail
ииии все
Теперь я знаю как объяснить монады - это как делегаты с ООП, только в ФП. Адепты и того и того считают, что и то и то соответственно есть решение вообще всех проблем.
I
И вообще, давай от нытья в доеб до слов не уходи, иди лучше Котлин делай великим
Да бля, мне даже поужинать перед сном нельзя?
AE
Поздравляю с приобретением! =)
Спасибо :)
(
Да бля, мне даже поужинать перед сном нельзя?
А чем ты ужинаешь? Если не великой едой, то я запрещаю
(
Теперь я знаю как объяснить монады - это как делегаты с ООП, только в ФП. Адепты и того и того считают, что и то и то соответственно есть решение вообще всех проблем.
"Делегаты в ООП" - это как в котлине что-ли?
I
вот, поэтому я топлю, и всегда топил, за тайпклассы вместо суспенда и модификаторного хардкода
Ильмир естественно возразит, что когда это вкорячено в язык, это легче оптимизировать и т.д., но я ему естественно не верю
Ильмир естественно возразит, что когда это вкорячено в язык, это легче оптимизировать и т.д., но я ему естественно не верю
ОК. Вот тебе такая оптимизация, которую я недавно сделал. Есть suspend функция, которая возвращает инлайн класс. Так как возвращаемый тип любой suspend функции - Any?, то можно не боксить те инлайн классы, которые оборачивают ссылочный тип.
(
ОК. Вот тебе такая оптимизация, которую я недавно сделал. Есть suspend функция, которая возвращает инлайн класс. Так как возвращаемый тип любой suspend функции - Any?, то можно не боксить те инлайн классы, которые оборачивают ссылочный тип.
Анекдотично, но если бы инлайн классы не боксились вообще, эта оптимизация была бы не нужна
AM
Анекдотично, но если бы инлайн классы не боксились вообще, эта оптимизация была бы не нужна
Иди дизайни, как это сделать в 100% случаев, заебал умничать впустую
I
"Делегаты в ООП" - это как в котлине что-ли?
Не, как у твоего тёзки: https://www.yegor256.com/2015/02/26/composable-decorators.html правда, я попутал немного, не делегаты, а декораторы.
(
Granted, нужно очень хорошо подумать, как этого добиться, но по-крайней мере это была бы полноценная фича, а не огрызок 1.5 года в экспериментале
I
А чем ты ужинаешь? Если не великой едой, то я запрещаю
Не знаю, санкционное мясо входит в понятие божественной еды или нет, но простым смертным оно недоступно.
(
Иди дизайни, как это сделать в 100% случаев, заебал умничать впустую
> Запрещаем наследование для инлайн классов
> Вводим тайпклассы
Профит, проблема субтайпинга инлайнов решена
> Вводим тайпклассы
Профит, проблема субтайпинга инлайнов решена
AM
> Запрещаем наследование для инлайн классов
> Вводим тайпклассы
Профит, проблема субтайпинга инлайнов решена
> Вводим тайпклассы
Профит, проблема субтайпинга инлайнов решена
А дженерики?
(
А дженерики?
Так я про них и говорил
Поскольку жвм-ный субтайпинг инлайнов запрещен, то в
Точно так же в
Поскольку жвм-ный субтайпинг инлайнов запрещен, то в
List<InlineIntWrapper> можно спокойно пихать инты, но на этапе компиляции считать их врапперамиТочно так же в
List<Any> засунуть инлайн класс нельзя, потому что мы знаем, что он не участвует в иерархии даже относительно Any(
Решение конечно сильно много чего подрезает, но знаете что, мне 200к+ не платят, чтобы я вам тут язык бесплатно дизайнил
I
Мне кажется, ты просто не тот язык взял для обсуждения вот этого вот всего. С котлином всё пошло "не так" где-то там, где в языке появилась наллабилити.
Быстрый квиз. Какая монада заменяет наллабилити? Подсказка: на May начинается, на be заканчивается.