Это не то же самое, что "функция блокирует тред") Это "блокирует тред надолго". suspend очень чётко определяет контракт функции, а вот обратный модификатор - нет.

Никак, компилятор разберется если там не нужна стейт машина или склеит их. Он и сейчас так умеет afaik

А вот в фшарпе для этого вот-вот дадут возможность юзерам делать стейт-машины для монадического кода
И пользователь сможет сам сказать что вот монаду Async и Seq делать через стейт машину и джамп тейблы, а вот эти монадки через континуейшны

Ну вот лум сделает таким образом, и посмотрим, что из этого выйдет :)

Корутина в языке — всё-таки опциональная штука, не все ими пользуются. Мне кажется, так как сделано, сделано хорошо.

Лум сделает так что не будет вообще блокирующих API

в сишарпе стейт машины захардкожены для async/await и yield/IEnumerable

Даже если забыть про совместимость, это не будет так работать.
Сегодня какая-то вызываемая функция не требует стейт-машину (не содержит точек останова), завтра потребует. Что делать вызывающей стороне?

В котлине стейт машины похоже тоже только за суспенд функциями захардкожены.

Ну кстати да, добавление саспенд-модификатора к функции — breaking change.

Да, потому в Arrow и делают ду-нотацию на саспендах.

и это ужасно, что приходится так костылить

Предлагаю не начинать холивар, проходили уже много раз :)

Так в этом и суть suspend-функций. Ничего не захардкожено, можешь поверх городить что угодно.

я посмотрел, там чот сложно всё (в Arrow).
Вот прям так в две строчки не написать монадку на стейт машине

Можно посмотреть, как сделаны генераторы

Так на саспендах же.

С рестриктом с помощью аннотации, что и правда слегка костыльненько.

С 1.4 и на DeepRecursiveFunction смотреть можно :)

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

Есть три вида функций:

1. suspend
2. regular
3. blocking

В языке сейчас есть средства только чтобы пометить suspend. И таких функций становится большинство. Соотвественно если теперь suspend это норма, то хотелось бы чтобы

1. suspend fun -> fun
2. regular (fun) -> nosuspend fun (для оптизиций, можно и не вводить такой keyword)
3. blocking (fun) -> blocking fun - те функции которые по каким-то причинам блокируют поток, и их важно не вызвать на основном пуле

Вот RFC, где добавляют возможность делать кастомные юзер стейт машины
https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1087-resumable-code-and-task-builder.md#feature-resumable-state-machines

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