LINUX.ORG.RU

Futhark v0.12.1

 futhark


1

2

Futhark – это язык программирования, поддерживающий параллелизм и относящийся к семейству ML.

Добавлено:

  • Внутреннее представление параллельных конструкций было пересмотрено и оптимизировано. За редким исключением это может сильно повлиять на производительность.
  • Теперь есть поддержка структурно типизированных тип-сумм и сопоставление с образцом. Но остаются некоторые проблемы с массивами тип-сумм, которые сами содержат массивы.
  • Значительно сокращено время компиляции некоторых больших программ.
  • Задаваемые вручную параметры типа больше не должны быть исчерпывающими.
  • Отображение параметра rotate упрощено.

Удалено

  • Префиксный оператор ~ больше не используется, а ! теперь можно применять для выполнения побитового отрицания целых чисел.

Изменено:

  • Опция --futhark для futhark bench и futhark test теперь по умолчанию соответствует бинарю, используемому для самих подкоманд.
  • Устаревшая опция futhark -t (которая выполняла ту же функцию, что и futhark check) была удалена.
  • stream_map стал map_stream, а stream_redreduce_stream.

Исправлено:

  • futhark test теперь «понимает» --no-tuning так, как и предполагалось изначально.
  • Команды futhark bench и futhark test теперь интерпретируют --exclude должным образом.
  • Бэкенд на Python и C# теперь может правильно считывать двоичные данные.

>>> Подробности

anonymous

Проверено: jollheef ()
Последнее исправление: Deleted (всего исправлений: 1)

Выглядит интересно, но… зачем? Изобретать хаскаль с ранним вычислением и более корявым синтаксисом нет смысла, лучше бы в GHC коммитил.

Siborgium ★★★★★
()

А если на нем быдлокодить - то на тебя осерчают все боги Асгарда.

liss21 ★★★
()

это язык программирования, поддерживающий параллелизм

Не просто «поддерживающий параллелизм», а выполняющийся на GPU.

quantum-troll ★★★★★
()
Ответ на: комментарий от quantum-troll

Не просто «поддерживающий параллелизм», а выполняющийся на GPU.

Видимо, скоро все научатся это делать

kto_tama ★★★★★
()
Ответ на: комментарий от WitcherGeralt

Сам ты извращенец, ML - самое вменяемое семейство языков. И да, они особенно хорошо ложатся на параллелизм.

anonymous
()

Чё за фартук? Функциональщина что ли? Нафиг.

anonymous
()
Ответ на: комментарий от quantum-troll

а выполняющийся на GPU.

На амуде и интеле работает?

q0tw4 ★★★★
()

Futhark – это язык программирования

Первый раз о таком слышу. Но все равно, спасибо за новость!

Odalist ★★★★★
()
Ответ на: комментарий от quantum-troll

Я и говорю, коммитил бы в GHC, чтобы можно было без дополнительных примочек.

Ну и да, см. выше.

Siborgium ★★★★★
()
Ответ на: комментарий от WitcherGeralt

Я как минимум в топ5 хейтеров пистона

Когда надо что-то посчитать, нормальный человек открывает калькулятор, среднестатистический кодер - интерпритатор питона, а я - интерпритатор руби. Ибо руби - это правильный питон.

q0tw4 ★★★★
()
Ответ на: комментарий от q0tw4

А я жму F12 в браузере и считаю на единственном вменяемом мейнстримном ЯП современности (до того, как допилят Red).

По сабжу: годно, нужно. Это вам не MemeTastic. Такого ЯП под OpenCL не хватало.

И да. Сравнение с хацкелем, требующем для себя минимум полгигового рантайма, чуток неуместно. Сабж ведь даже рекурсию не поддерживает. Это чисто DSL для параллельных вычислений на GPU. Всё.

rebforce
()
Последнее исправление: rebforce (всего исправлений: 1)
Ответ на: комментарий от quantum-troll

Охоспыдя, еще один лисапед с розовыми педалями и кистями дитектед. У меня от ваших let в глазах рябит. Ну вот нахрена огородить если есть например вот это: http://www.openmp.org/updates/openmp-accelerator-support-gpus/
Ну а с другой стороны конечно чем бы дитя...

A-234 ★★★★★
()
Ответ на: комментарий от Siborgium

лучше бы

Ох уж эти любители решать, чем людям заниматься в свободное время.

kirk_johnson ★☆
()
Ответ на: комментарий от rebforce

Ой, простите, конечно хаскель в топку, наши педали педалистее.

A-234 ★★★★★
()
Ответ на: комментарий от q0tw4

Нормальный линкусоед открывает qalc или что-то такое

egorcod
()

Где руны-то?

anonymous
()

Лучше бы Brainfuck на GPU переложили

vasya_pupkin ★★★★★
()
Ответ на: комментарий от q0tw4

нормальный человек открывает калькулятор, среднестатистический кодер - интерпритатор питона, а я - интерпритатор руби.

Нормальный человек берет электронные таблицы. А у остальных бухгалтеров/кодеров это профдеформация :)

Linfan ★★★★★
()

заинтересовало. документация у него есть?

next_time ★★★★★
()
Ответ на: комментарий от balsoft

мне восновном надо умножать, делить, синусы там всякие считать с логарифмами

q0tw4 ★★★★
()
Ответ на: комментарий от Harald

Потому что f u þ a r k – первые руны одноименного рунического алфавита, и þ (thorn) читается как θ (кстати, именно из-за þ в английском языке есть «ye old», ибо y использовалось в ранних печатных станках вместо þ). Что касается github – это словослияние от git и hub, поэтому и читается соответствующе.

balsoft ★★
()
Ответ на: комментарий от anonymous

Насколько мне известно, нет (могу ошибаться). Thou и You в старом английском – примерно как Tu и Vous во французском (thou – неформальное «ты», you – формальное «вы», и первая форма уже давно потеряла актуальность)

Кстати последнее место, где можно увидеть thou в английском – религиозные тексты, ибо к богу обращались как thou (как и во французском tu).

PS: википедия подтверждает мои слова, анонимус учись гуглить :)

PS^2: не исключено, что тема с печатными станками ускорила смерть thou

balsoft ★★
()
Последнее исправление: balsoft (всего исправлений: 4)

Чем оно лучше OCaml?

Xenius ★★★★★
()
Ответ на: комментарий от kto_tama

Там делать то по-сути нефиг, ведь GPU это всего лишь аппаратный loop unroll по линейному массиву. И все алгоритмы, в которых есть большой линейный массив и операция map по нему спокойно переносятся на GPU. Проблемы начинаются лишь когда структуры данных не линейные - всякие там деревья и прочие хеш-таблицы.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.