PS
Проблема Haskell в том, что это C++ из мира функционального программирования и, соответственно, вся его "мультипарадигменность" мешает быстрому начальному освоению.
Size: a a a
2020 January 01
BD
Ого. Чорд. И как на это все портировать свой софт?)
Писать на высокоуровневых языках.
FO
Большего мне не нужно
МБ
Я лисп пытался :-) нужны задачи под него
Rigetti Computers пилит чего-то про квантовые вычичления на нём. Но Lisp можно использовать привычным способом. Haskell - нет.
BD
Кстати, чат. А вот реально нам пораскинуть мозгами и написать какую-нибудь менее занудную и более практичную спецификацию IR, чем LLVM. Организовать какой-нибудь pep-процесс? Может быть 2 или 3 IR таргета? Чтобы не было так мучительно больно из-за LLVM? Имею в виду, что раз нет универсального IR записать спеки двух-трёх видов с максимальным перекрытием, чтобы авторы бэкендов выбирали наиболее удобный себе.
Cranelift, libfirm?
PS
Но CPU-то всё равно нужен
Но сегодня роль управляющего процессора уже достаточно скромна. И что интересного в том, чтобы придумать очередную архитектуру, которая одинаково средне (плохо?) выполняет весь спектр возможных задач? Не проще взять тот же RISC-V? :)
BD
Хочу чистый Фортран. Без Сей
Так фланг -> ir а дальше что угодно, ir2ir transforms и все такое
FO
Rigetti Computers пилит чего-то про квантовые вычичления на нём. Но Lisp можно использовать привычным способом. Haskell - нет.
Я не осилил юзать лисп привычным способом :-)
FO
Так фланг -> ir а дальше что угодно, ir2ir transforms и все такое
У меня прога не поддерживает фланг :-(
FO
А порт я еще не написал 😞
МБ
Но сегодня роль управляющего процессора уже достаточно скромна. И что интересного в том, чтобы придумать очередную архитектуру, которая одинаково средне (плохо?) выполняет весь спектр возможных задач? Не проще взять тот же RISC-V? :)
Не знаю. Зато знаю о споре ГПУшников против ЦПУшников в мире суперклмпьютеров. ЦПУшники говорят о том, что на ЦПУ они могут считать более гибкими алгоритмами, которые сходятся быстрее, чем более ну... равномерные алгоритмы на ГПУ. ГПУ выполнит больше операций в секунду, но тупых, ЦПУ меньше, но будет больше ветвлений и быстрее всё сойдётся.
BD
А порт я еще не написал 😞
Пиши проги портабельно и они будут легко портироваться.
FO
Не знаю. Зато знаю о споре ГПУшников против ЦПУшников в мире суперклмпьютеров. ЦПУшники говорят о том, что на ЦПУ они могут считать более гибкими алгоритмами, которые сходятся быстрее, чем более ну... равномерные алгоритмы на ГПУ. ГПУ выполнит больше операций в секунду, но тупых, ЦПУ меньше, но будет больше ветвлений и быстрее всё сойдётся.
Ветвления не нужны :-)
МБ
Я не осилил юзать лисп привычным способом :-)
Там есть же прям фортран-стайл библиотека для работы с матртцами... Петалисп или как-то так называется.
МБ
Ветвления не нужны :-)
Ну. Я не спец. Чего услышал, то и пою. Но думаю, в методах с адаптивными сетками без них никуда.
PS
Не знаю. Зато знаю о споре ГПУшников против ЦПУшников в мире суперклмпьютеров. ЦПУшники говорят о том, что на ЦПУ они могут считать более гибкими алгоритмами, которые сходятся быстрее, чем более ну... равномерные алгоритмы на ГПУ. ГПУ выполнит больше операций в секунду, но тупых, ЦПУ меньше, но будет больше ветвлений и быстрее всё сойдётся.
1. Я не понимаю такого пиетета пред Intel и GPP. Есть embedded/mobile, есть ускорители (GPU, TPU...), даже в HPC все больше на ARM переходить стали. У Intel-то не так уж и велика ниша.
2. Но ведь все зависит опять от предметной области. Вы читали про берклиевских дварфов?
2. Но ведь все зависит опять от предметной области. Вы читали про берклиевских дварфов?
FO
Пиши проги портабельно и они будут легко портироваться.
Оно уже отпортировано на 20 платформ
FO
Только вот можно упростить портирование
FO
1. Я не понимаю такого пиетета пред Intel и GPP. Есть embedded/mobile, есть ускорители (GPU, TPU...), даже в HPC все больше на ARM переходить стали. У Intel-то не так уж и велика ниша.
2. Но ведь все зависит опять от предметной области. Вы читали про берклиевских дварфов?
2. Но ведь все зависит опять от предметной области. Вы читали про берклиевских дварфов?
У интела очень хорошие оптимизирующие компиляторы
BD
Оно уже отпортировано на 20 платформ
В смысле каждый порт - написано заново?