да, там не академики
ну точнее их академики немного укусили, но по большому счету прагматизм там побеждает
То есть Mozilla Research уже совсем не research?
Anonymous
Andrew
Понятно что что то надо скачать, но откуда?
С hackage скачал репу, но не понял как его установить
Quet
То есть Mozilla Research уже совсем не research?
research конечно. но там люди понимают что им потом на этом браузер писать, а не только с типами играться )
Anonymous
research конечно. но там люди понимают что им потом на этом браузер писать, а не только с типами играться )
Ага, ну то есть мы уже приходим к целям, которые стоят перед языком. А знаешь какие цели у создателей Haskell стояли?
Quet
Ага, ну то есть мы уже приходим к целям, которые стоят перед языком. А знаешь какие цели у создателей Haskell стояли?
не знаю. а там были конкретные цели к которым все эти 20+ лет шли?
Quet
ну помимо "мы тут хотим поиграться со всем новым что придумали с типами"
Алдар
Судзумия
Понятно что что то надо скачать, но откуда?
С hackage скачал репу, но не понял как его установить
О, тоже с этим бодался недавно!
Я использовал stack, поэтому добавил зависимость в dependencies, затем stack solver, который обновляет stack.yaml, а стек уже занимается выкачкой и сборкой зависимостей
Алдар
ожидалось что хаскель через год умрет или около того
Anonymous
ну помимо "мы тут хотим поиграться со всем новым что придумали с типами"
А это и было главным. То что он спустя 20 лет кому-то понадобится в продакшене вообще не думали.
Quet
ну я про это и говорю вообще-то
Судзумия
О, тоже с этим бодался недавно!
Я использовал stack, поэтому добавил зависимость в dependencies, затем stack solver, который обновляет stack.yaml, а стек уже занимается выкачкой и сборкой зависимостей
Зависимость добавил в project.cabal в build-depends
Anonymous
ну я про это и говорю вообще-то
Ну блин, прост все это очень выглядит чуток издевательски, после того как посмотришь сколько у GHC контрибьюторов.
Quet
много контрибьюторов, но это люди которым интересны немного другие вещи (в отличие от контрибьюторов в го каком-нибудь)
Anonymous
много контрибьюторов, но это люди которым интересны немного другие вещи (в отличие от контрибьюторов в го каком-нибудь)
Много? Сколько для тебя много?
Anonymous
много контрибьюторов, но это люди которым интересны немного другие вещи (в отличие от контрибьюторов в го каком-нибудь)
Есть и те, кому нужен перфоманс, посмотри все чем занимается Саймон Марлоу.
Anonymous
Сколько они новый GC делали.
Alexander
Понятно что что то надо скачать, но откуда?
С hackage скачал репу, но не понял как его установить
stack, package-manager, cabal-install, ghc на Setup.hs
Andrew
Спасuбо!
Quet
Есть и те, кому нужен перфоманс, посмотри все чем занимается Саймон Марлоу.
есть. и последние годы инженеров как-то больше стало что ли, еще лет через 5 может будет вообще не стыдно в прод тащить
Alexander
есть. и последние годы инженеров как-то больше стало что ли, еще лет через 5 может будет вообще не стыдно в прод тащить
только SM это академик ещё из "старой школы"
Quet
только SM это академик ещё из "старой школы"
в FB приходится быть инженером ) на академичности этот монстр не работает
Alexander
его делали как основную песочнику для исследования ленивых ЯП
Alexander
в FB приходится быть инженером ) на академичности этот монстр не работает
в FB он сколько 3 года?
Quet
где-то так, да
Anonymous
много контрибьюторов, но это люди которым интересны немного другие вещи (в отличие от контрибьюторов в го каком-нибудь)
Вот за 2015 год было 113 контрибьюторов. Те, кто сделали больше 10 патчей - 42 человека.
Alexander
учитывая что большинство вещей он запилил будучи в MS Research
Alexander
в FB была поддержка numa, долгое блокирование compact regions
Quet
ну не, есть отдельные люди которые пилят то что нужно не только академикам
и по ощущениям их больше становится
но по сравнению с тем же растом-го в этом смысле прогресс очень медленный
Alexander
я ж говорю берёшь и пилишь что надо или платишь
Alexander
=)
Quet
да я чего, спорю что ли с этим
Alexander
скоро уже в haskell будет все что человечество придумало для компиляторов
Alexander
теоритического
Alexander
не хватает только модулей, нормальных d-t и линейных типов
Quet
будет. а то что из этого всего окажется практически удачным -- будет вытащено в языки на которых пишут продакшен )
Anatolii
А какой в го прогресс?
Alexander
над всем работают
Anatolii
Гц конечно улучшают
Alexander
кстати я удивлён, что в se4l haskell был основным языком для прототипирования и доказательств
Alexander
его (subset точнее)
Alexander
т.е. то, что в haskell уже лет много есть?
Alexander
если под ssa single state assignment
Anatolii
да
Anatolii
ты мне обьясни, почему они сделали appent полиморфной, и при это не добавлили filter map fold?
Anatolii
*append
Anatolii
мне уже надоело форы писать, чесн слово
Quet
ты мне обьясни, почему они сделали appent полиморфной, и при это не добавлили filter map fold?
сам не рад. но там люди которые считают что такие вещи надо делать циклами
Anatolii
почему компиляция пропускает неиспользованные переменные из аргументов функции?
Quet
т.е. то, что в haskell уже лет много есть?
много лет есть, ага. да в хаскеле любая вещь которая есть в других языках "есть уже много лет"
вопрос в доделанности и готовности к продакшену
Alexander
ну кому надо используют
Quet
почему компиляция пропускает неиспользованные переменные из аргументов функции?
хочешь и в функциях писать _ ? :)
Anatolii
да хочу
Alexander
я не сильно понимаю, чем проблема haskell в production в том или ином виде
Anatolii
у них какие-то дибильные принцтпы
Quet
я вот чет не уверен. хотя может и неплохо было бы
Quet
ну как дебильные... там все заточено под то чтобы посадить много людей писать очень большой проект
Anatolii
я кинул видео про haskell not ready for production
Anatolii
размер проекта увеличивается за счет форов...
Alexander
в го все заточено под простоту обучения
Quet
да не только обучения
Anatolii
2 дня
Alexander
в общем в этом есть смысл
Anatolii
и готово
Anatolii
выучил go
Quet
в го армия. берешь много (не очень умных) солдат и пилишь что-то большое
Quet
тех кто умер - заменяешь на новых
Anatolii
(не очень умных) - аххаха
Quet
и процесс не останавливается
Anatolii
ты пойди напиши это в го чатике
Quet
да я сам в этом чатике)) и пишу на го
но видно ж какие цели у языка
Alexander
это и есть обучение
Alexander
в общем как в гуглах
Anatolii
а херня с ":="
Anatolii
тоже ускоряет обучение?
Quet
а что с ней?
Anatolii
кода она shadowit что хочет