A64m
да, Bool выбивается из общего ряда, конечно
eahqzsr
Бывает два ньютайпа
Vladislav
в чем смысл делать класс, а потом по ньютайпу на каждый инстанс? можно просто использовать значения сразу
eahqzsr
в чем смысл делать класс, а потом по ньютайпу на каждый инстанс? можно просто использовать значения сразу
Можно foldr (+) 0 писать вместо mconcat
Vladislav
а можно sum
eahqzsr
Можно
Vladislav
когда можно мономорфно - надо и писать мономорфно
Vladislav
полиморфные операции полезны, когда их можно реюзать на нескольких инстанцированиях
eahqzsr
Так с булами то же самое
eahqzsr
Можно определить Truish и Falseish и через них All и Any
A64m
весь смысл дизайна тайпклассов, что есть некое счастливое место, в котором все собирается автомагически, и если из него вылезти - то начинаются страдания с ньютайпами, рефлекшоном и проч. ужасы. Если бороться со счастливым местом ради унификации ужаса - тогда уж последовательнее вообще с тайпклассами бороться за эмельные модули
Vladislav
/ну и что мне теперь, ML что ли изучать после этого/
Vladislav
он же не ленивый, чего его изучать
A64m
ну или на агде писать, она-то ленивая же.
Vladislav
я один раз писал на Agda, сейчас найду
Vasiliy
думаю начать проходить http://dev.stephendiehl.com/fun/index.html
но смущает, что много глав нехватает
мб кто-нибудь знает: пишутся ли остальные главы?
Vladislav
Vladislav
never again
кана
а там и без этого достаточно много инфы полезной
Vladislav
и это не говоря о производительности того, что MAlonzo генерирует
A64m
ну, справедливости ради они постоянно что-то делают чтоб производительность получше была. толку вроде немного, правда, так что правильнее сказать, что регулярно в чейнджлоге пишут о своих трудах
Vladislav
они там с malfunction интегрировались, вдруг из этого что-то получится
A64m
малфункшон вроде помер уже
Vladislav
а зачем ему жить, он же просто оборачивает бэкенд OCaml
Vladislav
или ты про интеграцию Агды с ним?
A64m
более актуальная исптория с грин бекендом (но там ничего хорошего нне будет)
eahqzsr
А класс "конечные функторы" есть?
A64m
а зачем ему жить, он же просто оборачивает бэкенд OCaml
да, бекенд окамла никуда не денется, но использовать бекенды ФЯ это страдания
A64m
или ты про интеграцию Агды с ним?
нет, именно про обертку для удобства использльзования флямбды. - обертка вроде заброшена
A64m
по моему, агда только больше концентрируется на малонце, там уже и стандартные списки гхц-ные используют и вообще все больше затачивание на интеграцию с гхц
A64m
я, правда, не агдист, но раньше такого не было.
A64m
были какие-то потуги с эпиком, бекенд к UHC, но это все уже на мороз выкинуто
Vladislav
более актуальная исптория с грин бекендом (но там ничего хорошего нне будет)
Прочитал про GRIN. Чего это они для фронтенда в своих тестах выбрали не GHC, а hbcc?
A64m
ну просто боквист в чалмерсе делал диссер вот он с тамошним компилятором и интегрировался
A64m
ну и у грина история была и после в jhc, lhc и теперь вот есть какие-то странные люди - грин-тех которые его снова мучают (с недофронтендами из гхц идриса агды)
Vladislav
Ну что ж, неплохо. Не умереть бы ему.
A64m
да куда он денется, умрет конечно
Vladislav
Так если в GHC заменить Core на него, то не умрет.
Vladislav
Ну то есть да, понятно, умрет. Никто не расстанется с Core.
A64m
не заменить
A64m
для грина надо полнопрограммный анализ делать, это для хеллоуворлдов только, и нынешняя гхц-ная скорость всех бесит, а без раздельной компиляции вообще смерть
A64m
вообще в ФП везде все плохо, но хуже всего с имплементациями, конечно
Alexander
Бегло пролистал холивор. Кажется, из Haskell опять пытаются сделать академический язык для математиков
Leonid 🦇
/me рассмеялся продакшеном
Алексей
Бегло пролистал холивор. Кажется, из Haskell опять пытаются сделать академический язык для математиков
Но Haskell и так академический язык для математиков
кана
разве бывает на хаскеле продакшен
eahqzsr
Я сейчас посмотрел Control.Newtype - вроде полезно для моноидов, не?
Alexander
Но Haskell и так академический язык для математиков
Я тут отзеркалю позицию John De Goes: давайте пожертвуем половиной хаскельного сообщества, чтобы другая могла сосредоточиться на его практическом использовании.
A64m
Я тут отзеркалю позицию John De Goes: давайте пожертвуем половиной хаскельного сообщества, чтобы другая могла сосредоточиться на его практическом использовании.
неакадемической можно спокойно пожертвовать
Ilya
Академики переделываются в практиков при надобности, обратное неверно
eahqzsr
Причём обе части
A64m
МАРТИН ОДЕРСКИ
Alexander
А каков критерий академичности? Критерий практичности я знаю: Haskell в проде.
Aliester
eahqzsr
Ещё критерий надобности нужен
A64m
критерий академичности известен - "академик" пишет статьи которые публикуются в реферируемых журналах
A64m
программисты под "практический" подразумевают не это обычно
Alexander
Если открыть Архив.Орг по направлению CS, то там полно такого, о чем даже не подумаешь, что можно написать статью в реферируемый журнал.
Alexander
Уверен, у большинства из нас найдется таких проектов пачка, но почему-то мы не оформляемся как ученые.
Alexander
(Ну, не все)
A64m
не понятно все еще с какими "академиками" вы собрались воевать
Ilya
Если открыть Архив.Орг по направлению CS, то там полно такого, о чем даже не подумаешь, что можно написать статью в реферируемый журнал.
В архиве же любой может публиковать
A64m
у де гуза-то хоть понятно, он "академиками" назвал своих противников оопешников, просто потому что у программистов "академик" это что-то вроде "фошист", т.е. какой-то нехороший человек
Alexander
Не претендую на знаменосца в этой войне, а лишь моделирую ситуацию и обозначаю конфликт (который и так очевиден)
A64m
мне не очевиден
A64m
(такой конфликт, по крайней мере)
A64m
или речь опять про конфликт снойманитов с кабалистами?
Alexander
Может быть
A64m
так если всех кабалистов извести - снойманиты не смогут их часть работы выполнять
Глеб
Я тут вброшу немножко (http://www.aosabook.org/en/posa/warp-images/benchmark.png). В чем дело, собстно?
Глеб
У них же модель работы с соединениями похожая