Старайтесь придерживаться одного мнения в ходе дискуссии, хорошо? У нас такое токсичное общение не принято

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

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

Любое сложение более трёх значений

вы считаете что ли, что сложение параллелить нельзя?

Любое сложение более трёх значений

а можете расписать, как это так, что a+b+с можно распараллелить? какими частями?

по вашему 3 больше трех что ли?

вы считаете что ли, что сложение параллелить нельзя?

я считаю, что параллелить можно все то, для чего может быть применен map-reduce. можно ли параллелить что-то еще - я не припомню

а можете расписать, как это так, что a+b+с можно распараллелить? какими частями?

> более 3-ёх Тоесть если есть a + b + c + d, то можно сделать (a + b) + (c + d) и отправить (a + b) и (c + d) в разные треды.

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

Параллелить автоматически можно всё, это же стратегия редукции лямбда-исчисления просто. Если у вас есть применение (f b), то в одном потоке считаете f, а в другом a

по вашему 3 больше трех что ли?

ошибся, бывает. про 4 и больше - понятно

> Любое сложение более трёх значений a + b + c + d x1 = a+b | x2 = c + d x1 + x2

sum(sum(a,b), sum(c,d)), я бы так записал

Вообще говоря в a может оказаться ненормальная форма. Идея паралелить a+b нормальная

и тут, действительно, sum можно параллелить

и, действительно, смысла в этом мало

и, действительно, смысла в этом мало

Это вредно

Вообще говоря в a может оказаться ненормальная форма. Идея паралелить a+b нормальная

Ну естественно я выше имел ввиду именно нормальную форму.

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

и потому, что нет способа пометить sum как функцию, непригодную для распараллеливания, нет и распараллеливания.

Ну естественно я выше имел ввиду именно нормальную форму.

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

хорошо, спасибо, я понял

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

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

Ну я вообще думал о том, что параллелить уже в рантайме после приведения к нормальной форме. А то иначе даже fold не распараллелить, не?

в 90-х и начале двухтысячных были исследования по всяким вариантам, про которые можно упрощенно сказать "делаем из каждого санка спарк"

но особых успехов не было

ну какой-то вариант stingy evaluation или как-то так вроде показывал результаты немного получше чем без параллелизации

Ну я вообще думал о том, что параллелить уже в рантайме после приведения к нормальной форме. А то иначе даже fold не распараллелить, не?

У тебя любое вычисление приходит только к той форме, которая нужна в данном конкретном месте. Например при хеде у тебя список редуцирует до (x:_) Весь процесс вычисления состоит из этого, не очень понятно как параллелить, когда процесс вычисления остановился уже

из каких-то работ по автоматической параллелизации не всего, а в рамках специально выделенного кода - это ApplicativeDo он некий кусок кода в do-нотации рассахаривает не в монадные операции а в аппликативные где может, и определенные инстансы можно написать, для аппликатива - распараллеливающие, а для монады нет (это и не возможно), т.е. писателю такого кода не надо думать где что расспараллелить можно, а где нельзя

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

из полуавтоматического есть еще библиотеки для дата-параллелизма, самый амбициозный проект из этой серии DPH как раз недавно окончательно помер

из полуавтоматического есть еще библиотеки для дата-параллелизма, самый амбициозный проект из этой серии DPH как раз недавно окончательно помер

Haxl из этой оперы? https://www.youtube.com/watch?v=sT6VJkkhy0o

Haxl из этой оперы? https://www.youtube.com/watch?v=sT6VJkkhy0o

нет, это то что с аппликатив-ду предполагается использовать как раз

в 90-х и начале двухтысячных были исследования по всяким вариантам, про которые можно упрощенно сказать "делаем из каждого санка спарк"

Это, кстати, объясняет, почему я думал, что оно есть. Я как раз в 2005 интересовался вопросом

живые проекты из дата-параллельной серии это repa, massiv, accelerate

Где, кроме Хабра, можно найти рускоязычные статьи по сложному ФП, типа хаскельных линз, монадных трансформеров, машин?

вам год принципиален?

вам год принципиален?

Да нет

Где, кроме Хабра, можно найти рускоязычные статьи по сложному ФП, типа хаскельных линз, монадных трансформеров, машин?

На рухаскеле чо-то есть

Где, кроме Хабра, можно найти рускоязычные статьи по сложному ФП, типа хаскельных линз, монадных трансформеров, машин?

а зачем русскоязычные?

кстати

а зачем русскоязычные?

Английского хватает только на документацию, и то не слишком сложную

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

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

всмысле так много или так мало?

а есть чат по идрис?

На рухаскеле чо-то есть

Там крохи

а есть чат по идрис?

https://t.me/joinchat/Ai4h2D9SWO_RDx2jMUbzqw

https://t.me/joinchat/Ai4h2D9SWO_RDx2jMUbzqw

грац

Тут очередную пенисомерялку подвезли, я аж на первую страницу попал - http://git-awards.com/users?utf8=%E2%9C%93&type=country&language=haskell&country=Russia

Тут очередную пенисомерялку подвезли, я аж на первую страницу попал - http://git-awards.com/users?utf8=%E2%9C%93&type=country&language=haskell&country=Russia

как будто к закрытию гитхаба приурочена :(

Оно считает стары по всем проектам, не?

У ляха звёзды за бубу

Привет, есть ли в Беларуси команды, которые кодят на Haskell?

FP Complete :)

а он не в Польше сейчас живёт разве?

У ляха звёзды за бубу

Надо его сюда уже приглашать :)

Just for fun

Он не пользуется телеграмом. Говорят

Я в первых 3000!

(сомнительное достижение :))

Сомнительным было бы, если бы "!" был факториалом.

А если в 3000 -- то не сомнительное достижение.

В 3000! просто все хаскелисты входят :)

В т.ч. и все потенциальные

а он не в Польше сейчас живёт разве?

Алексей? В Минске по идее

ERROR: S client not available

а ну может жил когда-то

В т.ч. и все потенциальные

и неродившиеся

ну да, заводят же своим детям аккаунты в фэйсбуглах, а чем Гитхаб хуже?

Чтобы к 18-и годам уже сеньором в списке 20! быть

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

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

У сына маминой подруни все ровно форков больше х)

а ты звезд на гитхабе не хватаешь

дал бог репу, даст и мейнтейнеров

Комить а то поздно будет, все комитят и ты комить

Кстати есть у кого конфиги под xmonad?

Посмотри тут ссылки, на прошлой неделе давали

https://github.com/anpryl/dotfiles

Например

Спасибо

Тугокодер

Я в первых 3000!

у какого-то клапауция и то на одну звезду больше

Да я ничего полезного не сделал же. Даже те звёзды, что есть - все зря

у меня 10 из 9 звезд за пруф-ов-концепт хештаблицы Ж(((

Что в очереденой раз доказывает, что кол-во звёзд в GH - такая себе характеристика популярности и полезности

я их как закладки использую

если подписываться не хочется

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

Так что звёзды - тупо социальная штука

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

+

Дык в браузере ж есть

Вот поэтому удобнее каталогизировать репозитории в нормальных хранилках закладок (org-mode у меня)

А браузер какой?

Интегрируется с emacs?

links

Интегрируется с emacs?

Жму линку в имаксе, открывается вкладка в файрфоксе :)

А как они в имакс попадают?

Тут очередную пенисомерялку подвезли, я аж на первую страницу попал - http://git-awards.com/users?utf8=%E2%9C%93&type=country&language=haskell&country=Russia

Гм, я там тоже есть

А как они в имакс попадают?

Я руками добавляю. Файлик с закладками по общесистемному хоткею открывается. Можно прикрутить org-capture, но мне лень :)