Без заголовка
> Но там решается часть проблем, целиком "проблему двух языков" (отладочного медленного и быстрого для целевой версии) это не решает, ибо в Питоне есть родовые травмы, препятствующие его а) эффективному компилированию в б) параллельный код
К сожалению, теоретическое и прикладное невежество не позволяет мне оценить истинность высказывания. Нашёл статью 14 года в которой числами обосновывается утверждение "проблемы GIL в Python для численных расчетов практически преодолены". https://habrahabr.ru/post/238703/
В формальной логике общие утверждения (А типа) "все С являются П" опровергаются единственным истинным утверждением (О типа) "некоторы С не являются П", тогда как утверждения (Е типа) "нет С которые П" опровергаются хотя бы одним утверждением (I типа) "некоторые С являются П".
В рамках формальной логики, (Е) утверждение "Питон не может в GPU" опровергается моим (I) примером использования нумбы. (А) утверждение "Питон может в GPU" опровергается (О) примером несостоятельности питона в GPU, но из-за уже упоминавшегося невежестве не могу понять, является ли упоминание родовой травмы таким утверждением или нет, -- если упоминание родовой травмы является отсылкой к GIL, то статья показывает обратное.