Да и это сразу его делает аналогом шейдера
он грубо говоря будет ограничивать синтаксис языка до SSA и линейных комбинаторов по типу map, scan, reduce и т.д. ты все еще пишешь код на том же самом языке, просто можешь использовать только фичи линейного программирования. а под капотом оно компилируется в инструкции для GPU. это ограничение в синтаксисе по сути плата за векторизацию