да

да

у вас просто критерии говна-неговна неправильные

для деления отдельно сделаю

кстати @fp_ru — чат, где можно языки обсуждать

нельзя, он умер

или, точнее, мертв

там не Num

можно более простое решение придумать — data ArithmeticOp = ArithmeticOp{forInteger :: Integer -> Integer -> Double, forDouble :: Double -> Double -> Double}, ну или что-то в таком духе

я вот не понимаю нытьё про порог входа в хаскель. Если я смог, значит не высокий.

+1

можно более простое решение придумать — data ArithmeticOp = ArithmeticOp{forInteger :: Integer -> Integer -> Double, forDouble :: Double -> Double -> Double}, ну или что-то в таком духе

у меня там на другом этапе обобщение, но по сути почти такое же

а оно нужно обычным программистам, которые какие-нибудь круды лепят с небольшим количеством бизнес логики?

да

да

нет, ведь если бы так нужно было бы, то уже давно все на том же хаскеле писали бы

да нет, конечно

такого обычно не бывает

можно более простое решение придумать — data ArithmeticOp = ArithmeticOp{forInteger :: Integer -> Integer -> Double, forDouble :: Double -> Double -> Double}, ну или что-то в таком духе

самое стремное, что мне эта ошибка вылезла, и я даже не знал, что гуглить, потому что по сообщению ничего не находилось

куча изобретений годами, десятилетиями (в рекордных случаях - тысячелетиями) не используются не потому что не нужны, просто существуют процессы адоптации, которые не быстро идут

у вас просто критерии говна-неговна неправильные

Любой шедевр искусства, даже который стоит миллионы, эквивалентен куче удобрений, стоящей столько же.

вот интересный рассказ на эту тему — как одни люди изобретают хорошие вещи, а другие продолжают пользоваться говном уже больше 40 лет https://vimeo.com/71278954

(мысль не моя)

причины могут быть как технические, так и социальные

куча изобретений годами, десятилетиями (в рекордных случаях - тысячелетиями) не используются не потому что не нужны, просто существуют процессы адоптации, которые не быстро идут

сколько хаскелю лет? лет двадцать уже чтоли, или больше в IT двадцать лет - это огромнейший срок, я вот не думаю что через двадцать-сорок лет все будут писать исключительно на хаскеле или похожих на него языках

сколько хаскелю лет? лет двадцать уже чтоли, или больше в IT двадцать лет - это огромнейший срок, я вот не думаю что через двадцать-сорок лет все будут писать исключительно на хаскеле или похожих на него языках

хаскель и сейчас недоделан, а что 20 лет назад было и говорить смешно

ну и никакой это не срок для IT, мейнстрим сейчас это клоны языка 1960-го года с перламутровыми пуговицами, например

ну и никакой это не срок для IT, мейнстрим сейчас это клоны языка 1960-го года с перламутровыми пуговицами, например

какие к примеру?

вангую алгол

вообще самая новая вещь в мейнстриме - ГЦ с поколениями появилась за 10 лет до того как проект хаскеля обсуждать начали

Просто я несколько прагматично настроен и считаю, что если какой-то язык не используется широко на практике, то это не просто так, и значит у этого языка есть фатальные недостатки.

большинство изобретений 70-х до сих пор не в мейнстриме

Просто я несколько прагматично настроен и считаю, что если какой-то язык не используется широко на практике, то это не просто так, и значит у этого языка есть фатальные недостатки.

фатальный недостаток - не похож на алгол

Они правда есть у всех языков, но не такие фатальные.

Просто я несколько прагматично настроен и считаю, что если какой-то язык не используется широко на практике, то это не просто так, и значит у этого языка есть фатальные недостатки.

ну т.е. языки принципиально отличаются от других изобретений, которые могут сколько угодно "не использоваться широко", а потом начать использоваться широко

Вот туалетная бумага в деревнях стала широко использоваться только лет 15 назад

ну и фатальных недостатков скорее всего не бывает - просто нет вещи настолько плохой, чтоб ей никто не стал пользоваться.

Ну всё же нет, если вещь убивает пользующегося её без промедления, то пользоваться её не будут

Ну и на самом деле достаточно репутации непрактичной штуки, которой никт не пользуется

Ну всё же нет, если вещь убивает пользующегося её без промедления, то пользоваться её не будут

ну люди пользовались и пользуются штуками, которые довольно быстро убивают пользователя, но обычно не мгновенно, да

ну т.е. языки принципиально отличаются от других изобретений, которые могут сколько угодно "не использоваться широко", а потом начать использоваться широко

Я вот не скажу про другие изобретения, но языки развиваются и изменяются, и я вот считаю, что обычно непопулярный язык не может стать популярным без значительных и правильных изменений.

а вот "репутации" достаточно, да. потому что процесс внедрения в основном социальный

ну люди пользовались и пользуются штуками, которые довольно быстро убивают пользователя, но обычно не мгновенно, да

Тут надо чтобы убивала сразу и очевидно

Может ли тот же хаскель так измениться - большой вопрос на самом деле.

Я вот не скажу про другие изобретения, но языки развиваются и изменяются, и я вот считаю, что обычно непопулярный язык не может стать популярным без значительных и правильных изменений.

нет, языки как правило не развиваются и не изменяются (заметно)

нет, языки как правило не развиваются и не изменяются (заметно)

Ну вот это точно неверно.

нет, языки как правило не развиваются и не изменяются (заметно)

Враньё! В яву добавили лямбды!

Тут надо чтобы убивала сразу и очевидно

это все еще можно поправить социально

Враньё! В яву добавили лямбды!

это не сильное изменение, вот дженерики - уже заметное

ну их там добавили как-то странно

Опять же если взглянуть на веб, то между ES5 и ES2015 к примеру разница очень значительная.

в чем там значительная разница?

в чем там значительная разница?

Это тема для целой статьи, а то и не одной.

сомнительно

сомнительно

Что сомнительного?

сомнительно что существенные изменения нельзя перечислить парой строк.

Я приводил уже цитату, что питонисты 2.х отказываются учить 3.х, потому что там _такая большая разница_...

к примеру, C++ существенно изменялся, в него шаблоны добавили.

а в яваскрипт что?

к примеру, C++ существенно изменялся, в него шаблоны добавили.

А потом еще memory model

а в яваскрипт что?

"Стрелочные функции это новое слово в компьютер саенс!"

Я приводил уже цитату, что питонисты 2.х отказываются учить 3.х, потому что там _такая большая разница_...

там разница такая, что до чейнджлога двух средних версий окамла не дотягивает - не то что хаскеля

там разница такая, что до чейнджлога двух средних версий окамла не дотягивает - не то что хаскеля

Я про это же. Тут в GHC каждая новая включаемая фича вносит эквивалентное количество разницы

сомнительно что существенные изменения нельзя перечислить парой строк.

Ну вот неполный список: 1) самое главное - промисы, наконец то подвезли нормальную асинхронщину белого человека 2) нормальные переменные/константы const и let, которые работают так как и должны, а не то говно со всплытием var 3) деструктуризация 4) классы, теперь не надо писать огромнуюю кучу ClassName.prototype.methodName 5) ну и стрелочные функции, да

это все мелкие фичи

это все мелкие фичи

ничего себе мелкие фичи

Кто-то сталкивался с таким, что nix собирает либу и при этом из этой либы не виден один из типов?

Фича не мелкая, если она затрагивает философию программирования на языке.

при этом остальные типы и функции видны. Stack собирает нормльно.

может быть их реализация и не кажется такой уж большой и сложной, но их влияние на код просто кколоссальное

при этом остальные типы и функции видны. Stack собирает нормльно.

а не никсом все хорошо?

Фича не мелкая, если она затрагивает философию программирования на языке.

промисы очень даже затрагивают, как и async/await кстати

да stack собирает нормально

ERROR: S client not available

точно те же версии? а то как-то удивительно

Ну да, я признаю при этом, что в принципе все эти фичи - это прежде всего устранение недостатков ES5, но всё же.

промисы очень даже затрагивают, как и async/await кстати

Я готов с этим согласиться.

серезное изменение - это изменение уровня разницы между языками. плюсовые темплейты это как раз такое изменение, а перечисленное - нет

т.е. то что можно было на уровне библиотеки сделать, теперь в языке и получше?

тут даже прикол в том, что когда nix-build собирает тесты, то он символ не видит, а если запустить pkg.env, то cabal test всё видит

т.е. такое ощущение, что nix выкидывает эти символы

тут даже прикол в том, что когда nix-build собирает тесты, то он символ не видит, а если запустить pkg.env, то cabal test всё видит

Потому что cabal test в не чистом окружении запускается

да

nix то как может выкидывать?

серезное изменение - это изменение уровня разницы между языками. плюсовые темплейты это как раз такое изменение, а перечисленное - нет

на js не писал ни разу, небось иначе бы не считал бы избавление от callback hell несерьёзной фичей

я не знаю

Какое отношение nix имеет к компиляции ?

Магия

он запускает cabal

nix это лучи смерти, никто не знает как они работают. А значит могут всё что угодно

походу никто не сталкивался

хз он может какой-то флаг cabal-у даёт

хм...

я закоментировал флаг isLibrary = true;и оно заработало

WTF

Вброшу дальше про типы. На самом деле то, что является результатом "type inference" и то, что стоит после : это тоже разные вещи совсем.

Поэтому типами обычно называют три вещи, а не две

Поэтому типами обычно называют три вещи, а не две

А какое место здесь отводится метапрограммированию наподобие квази-квот?

ну это близкородственные вещи

на каком-то этапе было посложнее - емнип, первый вывод типов вообще не позволял аннотации делать

ну это близкородственные вещи

Ну, они часто используются вместе. Но часто и теги вместе с типами используются (например для реализации system f второго и более порядка)

ну они не столько используются вместе, сколько могут быть аннотирована в большинстве случаев для которых выводятся.

но это не одно и то же, да Ж(((

вот интересный рассказ на эту тему — как одни люди изобретают хорошие вещи, а другие продолжают пользоваться говном уже больше 40 лет https://vimeo.com/71278954

https://www.youtube.com/watch?v=FiflFiZ6pPI

Ё-маё. Полдня в чатике не был, открываю, а тут как будто филиал Хабрахабра.

Битва джыэсников и хаскеллистов — атас, моё почтение!