про синтаксис столько мнений, что шутки распознать невозможно

как в го шорошо, остальное плохо

Синтаксический фашизм в го

Так, чо тут? Фашизм, токсичность, кибербулинг? Нужна неделя зачисток. От расово неверного оффтопа.

ну да, а то модераторские права без дела простаивают

а что тут остались модераторы?

Кто сказал токсичность?!

так, что кого

ты 800

поздравляем)

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

все, DPH убрали

все, DPH убрали

Как это расшифровывается?

Data Parallel Haskell

А почему убрали? Вроде хорошая вещь

конец 17-илетней эпохи

потому что некому им заниматься

Величайшая книга по сабжу станет наполовину неактуальной, лил

о только хотел написать

чего это наполовину-то?

а уже все написано

про ParallelArrays

там разве про dph было?

на векторизацию вектора то ещё надеяться можно что допилят когда-нибудь

хотя вроде некому

Величайшая книга - это которая?

В величайшей книге по сабжу что-то есть про dph?

"Собрание трудов академика А.Н. Крылова. Т. 7. Ис. Ньютон. Математические начала натуральной философии" в чуть более лучшем качестве https://www.litres.ru/aleksey-nikolaevich-krylov/sobranie-trudov-akademika-a-n-krylova-t-7-is-nuton-matematicheskie-nachala-naturalnoy-filosofii/

Только б DH так потом не убрали

Хотя его реализуют только лет через 5 в лучшем случае. Я вот хотел кое-что заимплементить, а мне говорят, мол, надо ждать 2 релиза, а то сломаешь людям жизнь

Хотя его реализуют только лет через 5 в лучшем случае. Я вот хотел кое-что заимплементить, а мне говорят, мол, надо ждать 2 релиза, а то сломаешь людям жизнь

Попробуй сказать, что тебе для PhD нужно. Тогда пропустят наверняка.

Уже Эйзенберг защитил PhD

Я теперь пытаюсь реализовывать

DH так просто не убрать, это же и будет сам хаскель практически

вот недоделать его вполне могут

DH =?

...data Haskell?

dependent haskell

Благодарю :3

А вообще, в какой степени все экстеншены и всякие оптимизации состоят из thesis-ware?

большинство на диссер не тянут

помню тут говорили про то, что после DH не будет крупных фич

может и будут, но я не знаю, что это за крупные фичи могут быть

я все жду, когда теория про то, что компиляторы чистых фп языков будут уметь САМИ распараллеливать код эффективно (мб с небольшими аннотациями) перестанет быть теорией

а то это часто используют для продажи фп языков

ну вот перестала вчера

хотя, смотря что считать небольшими аннотациями

ну вот перестала вчера

Это ты про что?

хотя, смотря что считать небольшими аннотациями

прагмы, не типы или функции

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

чего уж про полностью автоматическую параллелизацию говорить

ну вот перестала вчера

лол

я все жду, когда теория про то, что компиляторы чистых фп языков будут уметь САМИ распараллеливать код эффективно (мб с небольшими аннотациями) перестанет быть теорией

Умозрительно кажется, что это np-полная задача

да, решить ее точно тоже выглядит невозможным

но сделать достатончо близкую апроксимацию предположительно сильно проще

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

мне кажется dph норм был

просто на него забили и не пилили авторы

+ похоже было что там нужно было уже процессорные фичи и векторизацию использовать, а это так и не осилили нормально

не знаю, насчет норм. ни векторизатор ни фьюжен так и не сделали нормальные

с фьюженом там вообще уже до необходимости использования солвера вроде Z3 дошло

может если бы и дальше работали что-то и сделали бы, но не факт

когда работы остановились, где-то врайоне 7.6/7.8?

векторизатор, какя понял у них уперся в определение того где векторизацию не надо делать

репа, которая прототип бекенда дпх, тоже никогда нормально не работала

все возможности хаскельного оптимизатора для фьюжена они исчерапали, была идея делать плагином оптимизатор из ддц, которая тоже ничем хорошим не кончилась

но окончательное его удушение я все равно не одобряю

Это что же, ФП не умеет в параллельность??

скорее на Medium!

до недавнего времени даже в ручную не умело, да и cейчас полторы имплементации с SMP

причем ghc это половина

в aseon можно попросить не парсить часть данных ведь?

а, затупил, там же есть инстанс для Value

причем ghc это половина

А кто-то умеет в "единичку"?

интеловский, может получше

Это который flrc? (Который открыли на SML.)

Там очень мало чего открыли. Общался с автором, говорит всякие проблемы с лицензиями всю идею убили

Он сейчас в DFinity работает, это там где dhc пилят

о, имплементацию для unlifted newtypes делают

А я правильно понимаю, что кроме ghc в обозримом будущем других компиляторов такого же уровня не будет?

компиляторов хаскеля? вообще никакого уровня не будет

если форкнут то очевидно будет вполне того же уровня

вон ghcjs это вроде форк, например

О ghcjs либо хорошо либо ничего

ghcjs это хорошо

еще бы размер бинарников чуть чуть поменьше и можно в продакшен

ну речь не про форк гхц

а зачем кому то делать сейчас с нуля?

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

проблема в том, что невозможно написать компилятор хаскеля. в текущем виде хаскель это множество языков по мощности равное 2 в степени количества экстеншенов GHC. Никому не нужен компилятор Haskell2010

по этому любому, кто захочет в это ввязаться придется считаться с реальностью и на каком-то этапе встраиваться в пайплайн GHC

да нету там фрактала Haskell = последний ghc с теми расширениями что естт