Denis
не очень верится на практике
Denis
ведь если все доменное знание на хаскелле в проекте, то его в пруфах не поиспользуешь
Denis
даже если очень захочется
A64m
да, там скорее получится проект на агде с модулями на хаскеле со всяким байтодвиганьем
Denis
это звучит более правдоподобно
Alexander
Zависимые типы в массе
Alexander
вчера пообсуждали немного
Denis
https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig
Denis
хаскеллист - всегда изгой
A64m
о, спасибо
Denis
для java-кодера - сумасшедшие академики, для сумасшедших академиков - хипстеры-макаки
Denis
(на самом деле для вменяемых академиков не так)
A64m
программисты-то для академиков макаки, конечно. там уж без разницы на хаскеле или фортране
Denis
в разной степени, но тем не менее
Евгений
Ну на самом деле там претензии уровня java-кодера, типа на этой вашей граф-редукции непонятно как кодать
Denis
где “там"?
Евгений
В чате "зависимые типы в массы"
A64m
так это же не академики а джавакодеры, только в свободное время не на хаскеле, а на идрисе пишут
Denis
кстати народных масс не хватает имхо
Denis
для чата с таким названием
Евгений
A64m
это одно и то же
Alexander
/me прикрывается blurb-ом и не оценивает их
Leonid 🦇
люди вона радостно со scala на go переходят, FP не нужно
A64m
твиттер на яваскрипт переходит, а кто на го?
Alexander
мне кажется со скала радостно даже на php7 можно перейти
A64m
довольно старая новость уже
Denis
со скалы куда угодно радостно можно, это правда
Leonid 🦇
@A64m_qb0 да так, бэкграунд нойз в интернете
Евгений
мне кажется со скала радостно даже на php7 можно перейти
Ну, на php7 не имеет смысла, поверь человеку, который прямо сейчас сидит в phpstorm'е и правит бекенд на php7 :)
A64m
твиттер со скалой как-то особо интенсивно страдал
A64m
форкнул компилятор и поддерживал целый скаламирок. т.е. и сейчес еще поддерживает
Евгений
твиттер со скалой как-то особо интенсивно страдал
Мне кажется, что так с любым ЯП будет при таком хайлоаде
Leonid 🦇
Denis
чего это за uncle bob?
Alexander
https://twitter.com/kmett/status/927831982419120128
Leonid 🦇
Егор Бугаенко и его "Proper OOP"
Alexander
похоже кметт делает через signatures то что мне хотелось посмотреть
Ignat
сейчас reasonable scala выкатят и заживём
Alexander
:футболка_с_kmett_олреди_дид_ит:
Leonid 🦇
scala the good parts?
Ignat
https://github.com/twitter/reasonable-scala где вы ещё видели 1к звёзд (больше, чем у xmonad!) и 0 строк кода?
A64m
а, он все еще пустой
Leonid 🦇
так это шутка?
Alexander
это к дискусии о звездах и показателях?
A64m
да, совсем как пхп гуд партс: конец списка
Leonid 🦇
у нас теперь есть рейтинг на хакадже, зачем нам звезды?
Denis
рейтинг на какадже это вообще треш
Alexander
он unwelcoming!
Leonid 🦇
так это же для того самого дискаверабилити которого все просили
Alexander
@catamorphism там вчера было
Alexander
немного
Alexander
там иногда интересно бывает впрочем
Danila Matveev
форкнул компилятор и поддерживал целый скаламирок. т.е. и сейчес еще поддерживает
омг, рассуждения как у гоферов и джавистов по осколкам буллшита в интернете
вы рушите мои представления о серьезных бородатых дядьках, пишущих на хацкелле!
Alexander
а чего как там на самом деле? а то я не в курсе?
A64m
омг, рассуждения как у гоферов и джавистов по осколкам буллшита в интернете
вы рушите мои представления о серьезных бородатых дядьках, пишущих на хацкелле!
это же Пол Филипс, или как там его, везде рассказывает
Alexander
не использовал? не поддерживал?
A64m
ведущий бывший контрибьютор в скалак
Danila Matveev
они планируют юзать сабсет языка ради быстрой компилляции, но это пока только планы
хотя есть весомые фигуры в команде, занимающейся тулами
Danila Matveev
Пол - оч умный мужик, но ровно настолько же еще и истеричка (у него там личные обиды)
Leonid 🦇
/me считает что быстрая компиляция бывает только с -O0
A64m
но то что они пользуются допотопной версией скалакомпайлера и сами его поддерживают это никакие не планы
Aragaer
быстрая компиляция бывает если инкрементально
Aragaer
но надо без lto
A64m
понятно что инкрементально раз с O0
Alexander
и без -lto и кросмодульной оптимизации
Danila Matveev
у твиттера была жирная проблема в виде монорепы, но они постепенно уходят от этого и многое на вполне актуальной 2.12
Leonid 🦇
кек, монорепо
Ignat
JVM (Scala)-боги смотрят на дискуссию с недоумением
A64m
а, т.е. это уже почти преодолено, ладно тогда
Alexander
монорепа проблема?
Denis
у гугла вон тоже монорепо
Denis
живы пока
Leonid 🦇
у фейсбука же тоже
Danila Matveev
монорепа проблема?
зависимости в ней, насколько помню
у них был доклад года два назад
A64m
у яндекса тоже ведь
A64m
или нет?