В этом же вся фишка: ты пишешь программу декларативно, а компилятор переделывает её в стандартный императивный код

SSA, например. 😂

Это да.

Перекину текст сюда чтоб удобнее обсуждать было

Там есть много интересного, типа uniqness type, и код который можно параллелить.

Но это очень далеко от того что я бы хотел.

Это компилятор. Он собирает код для гпу, но этот код уже мало общего с фп имеет после сборки (нет рантайма?). Я понимаю что если мы пишем на фп и в итоге что-то собирается - это программирование на фп. Но я ожидал хотя бы какой-то рантайм.

В идеале self hosting ну или хотя бы близкий к этому. Но нет, он написан на haskell+python. Тулчейн для производства кода через futhark настолько сложен, что впринципе не влезет никуда где мне интересно. Порядка 300кб фп кода я не смогу переписать на что-то другое даже в теории. Даже понять что там вообще происходит в коде шансов мало, из-за того насколько далека система с которой код компилируют (хаскель) и то куда его готовят (гпу)

Эта штука для пк. cuda и opencl намного сложнее чем glsl. Даже их решения в pdf, самые фундаментальные вещи которые они описывают, используют много трюков которые просто отсутствуют в glsl. Ну или очень дорого сэмулировать.

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

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

> производимый этой штукой код мало отличим от кода, который бы произвела императивная система

Так в этом же и смысл, нет?

Чё-то я не уверен, это тема для данного чата, или про языки?.. 🤔

Ну, мы про трансляцию в ассемблер

Я подумал что это больше к кумпиляторам

Вообще, @sand_witch я соверую вам перестать докарываться до @DefragmentedPanda — у него изначально протеворечивые требования, плюс он пытается заранее придумать идеальный язык, так что до программирования чего бы то ни было он не дойдёт никогда. Может, оно и к лучшему — меньше разочарований и нервотрёпки. 😊

Возможно

А кто у нас все время рекламирует этот futhark? Вам автор не приплачивает? ;)

Там панда (не смотря на множество моих аргументов ранее) сказал, что в фп нельзя кодить под гпу.
Ну ему и кинули пруф.

К сожалению, нет. 😒
Не думаю, что у авторов сильно много денег — они же в академии сидят.

https://dion.systems/blog_0002_roadmap.html

Интересный заход к реализации языков и систем программирования со стороны формата файлов. Хотя идея и не 100% оригинальная. Любопытно посмотреть как пойдёт и во что выльется.

В результате создается ложное впечатление, что в области более ничего стоящего нет. Я не спорю, добавление «уникальных типов» к векторному комбинаторному ЯП академически интересно, но не наблюдается результатов сравнения с другими, более известными подходами.

Я в деталях не сравнивал, но ничего более стоящего не нашёл. Если кто-то знает более впечатляющие языки -- пусть тоже начинает пропагандировать. 😉

Хаскель не берём?👀

Для программирования GPGPU Haskell безусловно хуже. И я знаю про Accelerate, Repa, Massiv.