Daniel
хорошо, спасибо, я понял
Daniel
у меня следующий вопрос, не сочтите за троллинг
а сами вы как думаете, хорошо ли было бы добавить в хаскель возможность автоматически параллелить вычисления, к тому пригодные?
если да - ведутся ли такие работы?
саша
Но в сабже у нас нет гарантии, что там нормальная форма до вычисления же
Ну я вообще думал о том, что параллелить уже в рантайме после приведения к нормальной форме. А то иначе даже fold не распараллелить, не?
A64m
в 90-х и начале двухтысячных были исследования по всяким вариантам, про которые можно упрощенно сказать "делаем из каждого санка спарк"
A64m
но особых успехов не было
A64m
ну какой-то вариант stingy evaluation или как-то так вроде показывал результаты немного получше чем без параллелизации
Евгений
Ну я вообще думал о том, что параллелить уже в рантайме после приведения к нормальной форме. А то иначе даже fold не распараллелить, не?
У тебя любое вычисление приходит только к той форме, которая нужна в данном конкретном месте.
Например при хеде у тебя список редуцирует до (x:_)
Весь процесс вычисления состоит из этого, не очень понятно как параллелить, когда процесс вычисления остановился уже
A64m
из каких-то работ по автоматической параллелизации не всего, а в рамках специально выделенного кода - это ApplicativeDo
он некий кусок кода в do-нотации рассахаривает не в монадные операции а в аппликативные где может, и определенные инстансы можно написать, для аппликатива - распараллеливающие, а для монады нет (это и не возможно), т.е. писателю такого кода не надо думать где что расспараллелить можно, а где нельзя
A64m
этот солвер вычисления зависимостей, кстати, тормозной и версия которая результаты получше выдает не включена по умолчанию, а работает асимтотически боле быстрая, но дающая результат "распараллеливания" похуже
A64m
из полуавтоматического есть еще библиотеки для дата-параллелизма, самый амбициозный проект из этой серии DPH как раз недавно окончательно помер
Andrei
из полуавтоматического есть еще библиотеки для дата-параллелизма, самый амбициозный проект из этой серии DPH как раз недавно окончательно помер
Haxl из этой оперы?
https://www.youtube.com/watch?v=sT6VJkkhy0o
A64m
Haxl из этой оперы?
https://www.youtube.com/watch?v=sT6VJkkhy0o
нет, это то что с аппликатив-ду предполагается использовать как раз
Daniel
в 90-х и начале двухтысячных были исследования по всяким вариантам, про которые можно упрощенно сказать "делаем из каждого санка спарк"
Это, кстати, объясняет, почему я думал, что оно есть. Я как раз в 2005 интересовался вопросом
A64m
живые проекты из дата-параллельной серии это repa, massiv, accelerate
.sυλ
Где, кроме Хабра, можно найти рускоязычные статьи по сложному ФП, типа хаскельных линз, монадных трансформеров, машин?
Aliester
вам год принципиален?
Евгений
Mary
Mary
кстати
Евгений
Ну, судя по массовости и активности англоязычного чата в телеграм, без русскоязных статей никак
Mary
Ну, судя по массовости и активности англоязычного чата в телеграм, без русскоязных статей никак
всмысле так много или так мало?
Mary
а есть чат по идрис?
Антон
Kirill
Тут очередную пенисомерялку подвезли, я аж на первую страницу попал - http://git-awards.com/users?utf8=%E2%9C%93&type=country&language=haskell&country=Russia
Ilya
Тут очередную пенисомерялку подвезли, я аж на первую страницу попал - http://git-awards.com/users?utf8=%E2%9C%93&type=country&language=haskell&country=Russia
как будто к закрытию гитхаба приурочена :(
Евгений
Оно считает стары по всем проектам, не?
Евгений
У ляха звёзды за бубу
кана
Let’s
Привет, есть ли в Беларуси команды, которые кодят на Haskell?
Kirill
FP Complete :)
Alexander
а он не в Польше сейчас живёт разве?
Dmitry
Just for fun
Евгений
Он не пользуется телеграмом. Говорят
Aleksei (astynax)
Aleksei (astynax)
Я в первых 3000!
Aleksei (astynax)
(сомнительное достижение :))
Dmitry
Сомнительным было бы, если бы "!" был факториалом.
Dmitry
А если в 3000 -- то не сомнительное достижение.
Aleksei (astynax)
В 3000! просто все хаскелисты входят :)
Aleksei (astynax)
В т.ч. и все потенциальные
Alexander
а ну может жил когда-то
Cheese
ну да, заводят же своим детям аккаунты в фэйсбуглах, а чем Гитхаб хуже?
Dmitry
Чтобы к 18-и годам уже сеньором в списке 20! быть
Aliester
мой ребеночек первый раз покомитил. а это его пул реквестик. такой маленький, а уже контрибьютор
湊崎
мой ребеночек первый раз покомитил. а это его пул реквестик. такой маленький, а уже контрибьютор
У сына маминой подруни все ровно форков больше х)
Aliester
а ты звезд на гитхабе не хватаешь
Aliester
дал бог репу, даст и мейнтейнеров
湊崎
Комить а то поздно будет, все комитят и ты комить
湊崎
Кстати есть у кого конфиги под xmonad?
Dmitry
Посмотри тут ссылки, на прошлой неделе давали
湊崎
Спасибо
Leonid 🦇
Тугокодер
Aleksei (astynax)
Да я ничего полезного не сделал же. Даже те звёзды, что есть - все зря
A64m
у меня 10 из 9 звезд за пруф-ов-концепт хештаблицы Ж(((
Aleksei (astynax)
Что в очереденой раз доказывает, что кол-во звёзд в GH - такая себе характеристика популярности и полезности
Alexander
я их как закладки использую
Alexander
если подписываться не хочется
Aleksei (astynax)
в гитхабе нет средств нормального управления закладками - категорий, вот этого всего
Aleksei (astynax)
Так что звёзды - тупо социальная штука
Evgenii
Dmitry
Дык в браузере ж есть
Aleksei (astynax)
Вот поэтому удобнее каталогизировать репозитории в нормальных хранилках закладок (org-mode у меня)
Dmitry
А браузер какой?
Dmitry
Интегрируется с emacs?
Andrey
links
Dmitry
А как они в имакс попадают?
Alexander
Aleksei (astynax)
А как они в имакс попадают?
Я руками добавляю. Файлик с закладками по общесистемному хоткею открывается. Можно прикрутить org-capture, но мне лень :)
Dmitry
А в чём плюсы по сравнению с закладками браузера?
Aleksei (astynax)
Мне в org-файле менеджить удобнее.