Так я про сингл из рыкса, он вроде тоже в язык не вкорячен.

Приводить в пример ду-нотацию, которая на котлине делается с помощью саспендов, как пример того, почему саспенды плохо -- просто топ.

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

да, тут дизинфа, мы обсуждали немного другое

Я уловил. Поэтому дорогой мой и вел хоть какой-то диалог. А так мне котлин все мнение интересен. И мне тоже приходится выжимать простые ответы на вопросы, про проблемы с неймингом мы только и обсудили

Фактически это ломбок

ага.
Вот у меня есть forM :: (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b), который эмулирует foreach внутри любой монады m. Если я возьму его в хаскеле, то я смогу его использовать хоть с Maybe, хоть с Either, хоть с этим самым Async, хоть с IO. Если я напишу такой на рх-е, а потом захочу почувствовать себя белым человеком, я обосрусь, потому что в котлине нет тайпклассов и хкт
Пример синтетический, есть конечно вещи и поинтереснее, но я их не могу вспомнить сейчас
И вроде мы это уже проходили

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

Окей, не сингл, а асинк, давай я правильно говорить буду :)

Нет. Но проблемы тут есть. Их уже обсудили.

вот, поэтому я топлю, и всегда топил, за тайпклассы вместо суспенда и модификаторного хардкода
Ильмир естественно возразит, что когда это вкорячено в язык, это легче оптимизировать и т.д., но я ему естественно не верю

Для меня увы это путь в то же направление. Это и печалить

Ну и от суспендов уже как-то поздно отказываться, поэтому я умываю руки

Мы говорим про идеи на далёкое будущее. Чем лучше мы их конструктивно обсудим, тем лучше оно будет работать.

Нет. Как аннотации оно не должно работать ни в каком виде. Для меня на этом точка

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

Мне кажется, ты просто не тот язык взял для обсуждения вот этого вот всего. С котлином всё пошло "не так" где-то там, где в языке появилась наллабилити.

То есть ты за хороший язык ратуешь, но это не котлин.

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

Но на наллабилити и саспенды их натянуть вряд ли выйдет.