coroutines vs goroutines

[dmytrish]

Останнім часом потрохи курив мануали до asyncio та корутин в Python 3, і, здається, наближається момент достатнього розширення свідомості.

Другий Пітон був відносно простою (для багатьох навіть примітивною) динамічною імперативною мовою із класами, якою було класно склеювати примітиви інших мов, і за це його досі люблять. Із просунутих фіч у ньому були хіба що генератори із yield, на основі яких зробили ледачі потоки в itertools, малою кров'ю взявши багато хороших ідей із хаскелівської ледачості обчислень.

А третій Пітон мене і лякає, і захоплює одночасно: виглядає скромно, але під капотом можна знайти повноцінний event-driven programming (із event loops, asynchronous tasks: async/await, coroutines, futures та іншою нетривіальною лабудою), модуль для прикріплення анотацій типів (typing), генератори/ітератори значно глибше проникли в мову і тепер навіть простий map(function, some_list) повертає не список, а ітератор. Теперішні можливості мови дозволяють робити складні та нетривіальні системи.

Але запроваджувати concurrency в мову через корутини та машини станів (що загалом непоганий напрямок для concucrrency в імперативній мові) було і досить невдалим вибором: asyncio потребує значного вникнення порівняно із акторами і горутинами. І в цьому плані Го перепітонив Пітон: дав concurrency простішим і очевиднішим методом, додавши до того ж рудиментарні типи.

Comments

[sassa_nf]

У другому Пітоні майже те саме існує у tornado, twisted matrix, тощо.

Суттєва різниця, наприклад, в асинхронних генераторах та менеджерах контекстів. Скажімо, я так розумію, в третьому Пітоні можна зробити цикл, де *наявність* next обчислюється асинхронно.

Ще важливе обмеження - у другому Пітоні не можна змішувати генератори і корутини, бо корутини зроблені на генераторах (і тому що в Пітоні немає lift). Не знаю, чи вирішено питання в третьому.

[dmytrish]

Ну так, через tornado/twisted і був тиск прийняти якийсь один стандартний варіант у стандартну бібліотеку.

There’s no functional differences between the Native and Generator based coroutines except the differences in the syntax. It is not permitted to mix the syntaxes. So we can not use await inside a generator based coroutine or yield/yield from inside a native coroutine.

Despite the differences, we can interoperate between those. We just need to add @types.coroutine decorator to old generator based ones. Then we can use one from inside the other type. That is we can await from generator based coroutines inside a native coroutine and yield from native coroutines when we are inside generator based coroutines

Так що змішувати тепер наче можна.