The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

форумы
правила/FAQ
поиск
регистрация
вход
слежка
RSS


Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Проект Bend развивает высокоуровневый язык для параллельных вычислений на GPU, opennews (??), 21-Май-24, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


35. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от мяя (?), 21-Май-24, 15:29 
Почему ты врёшь?
https://github.com/HigherOrderCO/HVM/tree/main/src
Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

42. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (28), 21-Май-24, 15:45 
Гляньте сами внимательно, там код на rust, а на си и cuda результат автоматической генерации. Даже в новости написано, что компилятор на выходе выдает код на c+cuda.
Ответить | Правка | Наверх | Cообщить модератору

44. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от мяя (?), 21-Май-24, 15:58 
Это обвязка-болванки на си и cuda без которых код на расте не работает. Код на расте не полноценный и просто транслирует тексты из одного представления в другое (сишное/кудовское) которое подсовывает в эти обвязки.
https://github.com/HigherOrderCO/HVM/blob/860916b907bb4a4d35...
С таким успехом можно было на JS написать генератор, не изменилось бы ровным счётом ничего.
Ответить | Правка | Наверх | Cообщить модератору

47. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от мяя (?), 21-Май-24, 16:00 
И кстати код на расте тупо долбит файл с обвязками из раза в раз по новой через replace, которая каждый раз происходится по файлу заново. Парсер не завезли.
Ответить | Правка | Наверх | Cообщить модератору

48. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от мяя (?), 21-Май-24, 16:02 
Хотя там и парсер не нужно, достаточно просто планировать замену последовательно не проходя каждый раз файл с нуля.
Ответить | Правка | Наверх | Cообщить модератору

49. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от Аноним (-), 21-Май-24, 16:03 
Я в жаваскриптах не рабираюсь и не уверен позволяет ли он
"использования функций высшего порядка, замыканий, продолжений, неограниченной рекурсии, сопоставления с образцом, рекурсивных сопоставлений (fold) и циклов (bend), целочисленных, строковых и списочных типов"

Но в сишке про такие новшества и дары цивилизации вообще не слышали, там перечисления (enum которые) до сих пор просто числа. Что приводит к веселыс сравнениям теплого с мягким.
Так что код на расте не просто транслирует, а еще и добавляет удобства.

Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

53. Скрыто модератором  –1 +/–
Сообщение от Аноним (11), 21-Май-24, 16:17 
Ответить | Правка | Наверх | Cообщить модератору

45. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (11), 21-Май-24, 15:59 
Как ты не понимаешь фанатики искренне верят если си код создала программа на руст, то этот код автоматически безопасТный, чтобы это ни значило.
Ответить | Правка | К родителю #42 | Наверх | Cообщить модератору

50. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –1 +/–
Сообщение от Аноним (-), 21-Май-24, 16:06 
Не правда, такое может рассказывать только человек, который даже растбук не читал.
И обычно такие, внезапно, это войны-супротиив-раста.

А те кто в теме, они просто утверждают, что программа на "расте и си", в стравнении с "чистым си" более безопасная.
Потому что у тебя есть код который был проверен.

Ответить | Правка | Наверх | Cообщить модератору

117. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (11), 22-Май-24, 07:10 
Какой-то набор слов.  
Ответить | Правка | Наверх | Cообщить модератору

64. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +1 +/–
Сообщение от Аноним (64), 21-Май-24, 17:04 
Возьми, к примеру, спарк. Формально верифицированный код из ада транслируется в си. Раст никакого отношения к этому, конечно, не имеет, но схема вполне рабочая.
Ответить | Правка | К родителю #45 | Наверх | Cообщить модератору

68. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –1 +/–
Сообщение от Аноним (-), 21-Май-24, 17:51 
> Формально верифицированный код из ада

Если у тебя есть формально верифицированный код, то ты его можешь оттранслировать практически куда хочешь.
Вот только получить такой код очень дорого. Поэтому ада и не взлетела, а ее место заняла быдлосишка(((
Которую тоже можно верифицировать как напр. seL4. Но от сишки там будет одно название.

Раст, кстати, тоже можно оттранслировать в си, просто это будет неэффективно.

Ответить | Правка | Наверх | Cообщить модератору

72. "Проект Bend развивает высокоуровневый язык для параллельных ..."  +/–
Сообщение от Аноним (64), 21-Май-24, 18:17 
Спарк самоверифицируемый субсет ада. И вполне взлетела, вон даже во всех видеокартах монополиста уже лет 7 как минимум. По заявлениям, повышение стоимости незначительное.
Ответить | Правка | Наверх | Cообщить модератору

107. "Проект Bend развивает высокоуровневый язык для параллельных ..."  –1 +/–
Сообщение от Аноним (105), 22-Май-24, 00:19 
> Формально верифицированный код из ада

Вот именно что из ада он транслируется. Пытался код один почитать, адок ещё тот..

Ответить | Правка | К родителю #64 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей 		Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру