Ю ли я? 🤔
Раньше мне на пальцах хватало "то, к чему можно аргумент применить", но с учётом полиморфных штук я что-то не знаю теперь
Oleg
на хашкеле это, наверное можно назвать deduction judgement типа
a ∈ Num ⊢ a
Alexander
просто разница не очень большая, можно сказать что все функция
Alexander
и не потерять почти ничего вплоть до очень низкого уровня
A64m
смотря для чего надо знать, функция ли это
A64m
допустим, мы хотим знать перевычисляется что-то или нет, тогда лучше подумать будет ли это функцией в корке
Ю ли я? 🤔
Для великой справедливости
Alexander
это к философам
A64m
> foo = trace "bang!"(2 + 2)
> :t foo
foo :: Num a => a
> foo
bang!
4
> foo
bang!
4
> foo
bang!
4
> bar = trace "bang!"(2 + 2) :: Int
> bar
bang!
4
> bar
4
> bar
4
полиморфное значение в корке - функция и считается каждый раз заново, а мономорфное значение - нет.
Ю ли я? 🤔
Некоторые называют "обычные" значения нуль-арными функциями, но это какая-то йэрунда.
A64m
ну а толку-то от такого считания
Ю ли я? 🤔
Это чтобы обосновать, что в функциональном хаскеле якобы всё есть функции
A64m
а смысл?
Alexander
Нету больших компаний за Haskell, никто не продвигает его так же, как go. Хаскеллистов очень мало, полезные программы есть (pandoc), но малое число хаскеллистов не может быть конвертировано в большое количество программ. И еще мы не умеем пиариться. Точнее, аудитория, среди которой мы могли бы пиариться, составляет очень небольшую часть продвинутых разработчиков, которые способны хотя бы понять те преимущества Haskell, которые мы обычно упоминаем.
Ну вот скажите, из огромной армии разработчиков какая часть использует продвинутые типы? Пожалуй, только маленькое подмножество плюсовиков (ну и скалисты, но их в расчет не берем, это наши парни). Прочие С++, Java, PHP, Python, Go, C, JavaScript разработчики - это все мимо, они даже не осознают, что типы могут быть _значительно_ лучше. Наши слова ровным счетом ни о чем им не говорят.
А параллельное программирование? Какая часть людей с ним сталкивается? Да почти никто. Мы говорим: Haskell для этого идеален. А они что? У них покер-фейс. Они, может быть, и знают про треды и мьютексы, но мало кто ходил дальше этого.
А чистые вычисления, разделение эффектов, дизайн, предметно-ориентированные языки наконец? Почти все ж фигачат императивный код, об этом не задумываясь совершенно. "И так сойдет". Какие DSL, о чем вы. Единственный инструмент таких программистов - это указание компьютеру, что делать в императивном стиле. По-другому они не мыслят и о декларативном подходе не думают.
Ну вот имеем что имеем.
Ю ли я? 🤔
А ещё мы токсичные зануды
Dmitry
между тем, за хаскеллистов происходит драка, а заказчики ищут подрядчиков на хаскельные проекты
Dmitry
не знаю уж, что еще-то надо
Dmitry
что бы стал, как джава?
Дима
Как и за разрабов на коболе
Alexander
Это блокчейн, это пройдет
Dmitry
повсеместным?
Alexander
За джавистов тоже дерутся
Дима
Бессмысленный показатель короче
Dmitry
ну вот это вот "тоже"
Dmitry
вы что хотите-то? что бы стал как php ?
A64m
ну, теоретически от популярности можно получить больше допиленных до юзабельного состояния библиотек и т.д.
Dmitry
или как си?
A64m
но издержки тоже будут, понятное дело
Leonid 🦇
**ЖИР**
Alexander
ну, теоретически от популярности можно получить больше допиленных до юзабельного состояния библиотек и т.д.
Библиотеки вообще ни при чем. В С++ с ними все очень плохо было всегда, но это никого не останавливало.
Dmitry
причем, тут, кстати, блокчейн?
Dmitry
блокчейн это в первую очередь го, потом жаба/скала
A64m
это бы много кого сейчас остановило. представьте, что плюсы бы сейчас появились, кто бы вообще на них стал писать?
Dmitry
только потом хаскель. может даже после крестов
Alexander
Ну так они же ищут хаскеллистов в последнее время
Dmitry
отчетливо не хватает блокчейна на расте
A64m
более того, некому бы было их даже до юзабельного состояния довести
Leonid 🦇
игрушечный блокчейн
A64m
ну и тут даже не надо каких-то мысленных экспериментов с плюсами, "плюсы" достаточно регулярно появляются, и они не популярны. Ди, раст, вот это вот все
Anonymous
Нету больших компаний за Haskell, никто не продвигает его так же, как go. Хаскеллистов очень мало, полезные программы есть (pandoc), но малое число хаскеллистов не может быть конвертировано в большое количество программ. И еще мы не умеем пиариться. Точнее, аудитория, среди которой мы могли бы пиариться, составляет очень небольшую часть продвинутых разработчиков, которые способны хотя бы понять те преимущества Haskell, которые мы обычно упоминаем.
Ну вот скажите, из огромной армии разработчиков какая часть использует продвинутые типы? Пожалуй, только маленькое подмножество плюсовиков (ну и скалисты, но их в расчет не берем, это наши парни). Прочие С++, Java, PHP, Python, Go, C, JavaScript разработчики - это все мимо, они даже не осознают, что типы могут быть _значительно_ лучше. Наши слова ровным счетом ни о чем им не говорят.
А параллельное программирование? Какая часть людей с ним сталкивается? Да почти никто. Мы говорим: Haskell для этого идеален. А они что? У них покер-фейс. Они, может быть, и знают про треды и мьютексы, но мало кто ходил дальше этого.
А чистые вычисления, разделение эффектов, дизайн, предметно-ориентированные языки наконец? Почти все ж фигачат императивный код, об этом не задумываясь совершенно. "И так сойдет". Какие DSL, о чем вы. Единственный инструмент таких программистов - это указание компьютеру, что делать в императивном стиле. По-другому они не мыслят и о декларативном подходе не думают.
Ну вот имеем что имеем.
Кстати да, за pandoc большой плюс в карму хаскелла. А написание приложений подобных: grafana, prometheus, influxd, etcd - это и есть лучший пиар. И тут вопрос не только к разрабам этих приложений - почему они выбрали го, но и к нам, хаскеллистам, почему мы не пишем подобное. Да, хаскелл используется во внутренней разработке или в чем - то нишевом (уверен, вы участвуете на работе в подобном), но нужно больше pandoc-like проектов для всех.
Alexander
По-моему, как раз плохо то, что все хаскеллисты пилят библиотеки. Но надо взглянуть правде в глаза: для десктопных приложений он ужасен, для веба тоже не очень, для мобильных так и вообще мрак. А как еще можно его продавать, если не этим
Dmitry
да норм он. чего это он ужасен?
Leonid 🦇
Кстати да, за pandoc большой плюс в карму хаскелла. А написание приложений подобных: grafana, prometheus, influxd, etcd - это и есть лучший пиар. И тут вопрос не только к разрабам этих приложений - почему они выбрали го, но и к нам, хаскеллистам, почему мы не пишем подобное. Да, хаскелл используется во внутренней разработке или в чем - то нишевом (уверен, вы участвуете на работе в подобном), но нужно больше pandoc-like проектов для всех.
потому что это писали не столько программисты сколько админы
Leonid 🦇
для веба то хаскель как-раз норм
Dmitry
да он вообще норм, иначе бы на нём и не писали
Alexander
да норм он. чего это он ужасен?
А что в нем хорошего? Где кросс-платформенный GUI? Вот если бы в самом хаскеле был свой GUI независимый, вот это было бы крайне полезно.
A64m
для десктопных приложений он был бы нормален, если бы библиотеки были
тот
Кстати да, за pandoc большой плюс в карму хаскелла. А написание приложений подобных: grafana, prometheus, influxd, etcd - это и есть лучший пиар. И тут вопрос не только к разрабам этих приложений - почему они выбрали го, но и к нам, хаскеллистам, почему мы не пишем подобное. Да, хаскелл используется во внутренней разработке или в чем - то нишевом (уверен, вы участвуете на работе в подобном), но нужно больше pandoc-like проектов для всех.
pandoc восхищает от прочтения его истории создания, как представляю, можно им перелапачивать огромные exel файлы подключая сортировку, анализ и тд, а это часто базы данных так выгружают (не все компании продвинуты)
Alexander
для десктопных приложений он был бы нормален, если бы библиотеки были
А каких не хватает-то?
Крылатый
тут еще и академический блокчейн есть
Прикольно... У хаскелистов блокчейн академический, а у растовиков — игрушечный.
Dmitry
а где неотвратный кроссплатформенный гуй вообще?
Ю ли я? 🤔
ну и тут даже не надо каких-то мысленных экспериментов с плюсами, "плюсы" достаточно регулярно появляются, и они не популярны. Ди, раст, вот это вот все
КМК, у раста как раз есть все шансы взлететь, он гораздо моложе и ди и хаскеля, а по популярности уже догнал-перегнал, по размеру crates.io vs hackage так точно
Dmitry
это жабо что ли?
A64m
а своя гуи библиотека это 200 человеко лет, сейчас напишут, конечно
Leonid 🦇
А что в нем хорошего? Где кросс-платформенный GUI? Вот если бы в самом хаскеле был свой GUI независимый, вот это было бы крайне полезно.
В гуёвую либу кросплатформенную нужно человеко-тысячилетия вкладывать.
Alexander
а где неотвратный кроссплатформенный гуй вообще?
Qt
Если мы говорим о десктопе. Но и мобильники он тоже может, и web скоро будет (WebAssembly)
Ю ли я? 🤔
между тем, за хаскеллистов происходит драка, а заказчики ищут подрядчиков на хаскельные проекты
А тут не как в известном анекдоте?
"За хаскелистов происходит драка. Мы даже видели этих хаскелистов".
Leonid 🦇
Qt так-себе, кстати
A64m
КМК, у раста как раз есть все шансы взлететь, он гораздо моложе и ди и хаскеля, а по популярности уже догнал-перегнал, по размеру crates.io vs hackage так точно
вроде уже понятно, что если сравнивают с хаскелем, то популярность просто никакая
Антон
а своя гуи библиотека это 200 человеко лет, сейчас напишут, конечно
https://github.com/rise-ui/rise
Ю ли я? 🤔
вроде уже понятно, что если сравнивают с хаскелем, то популярность просто никакая
Любое число можно сравнить с нулём :)
Dmitry
ну я прямо не понимаю претензий вообще. несколько лет назад не было ни проектов, ни вакансий
тот
Прикольно... У хаскелистов блокчейн академический, а у растовиков — игрушечный.
exonum один из разработчиков уверен что блокчейн это в основном функции, как некий плюс в капилку хаскеля, блокчейн ща популярен, а хаскель функциональный язык
Alexander
gui = новый фреймворк для js?
Dmitry
сейчас в каком-то телеграме только почти 800 человек в чате, есть и вакансии и проекты
Alexander
кроссплатформенный gui уже есть
Dmitry
но всё равно все недовольны.
Dmitry
wtf вообще.