пропозал — это по сути документация к имплементации?

вроде того

вроде бы Твиг уже какие-то линтипы реализовал. этот пропозал стоит на пути вливания их кода?

да

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

А как попасть в комитетчики?

пропозалы обычно и имплементируют уже (в той или иной стадии) к моменту рассмотрения

не знаю степень готовности, но Пикеринг в конце апреля писал, что успеет к заморозке 8.6

успеют ли рассмотреть до заморозки, думаю, понятно

А как попасть в комитетчики?

быть хорошим знакомым комитетчиков

не знаю степень готовности, но Пикеринг в конце апреля писал, что успеет к заморозке 8.6

А эти люди занимаются Хаскелем full time?

я не знаю, Пикеринг вроде раньше не имел отношения к линтипам, но в последнее времявнезапно ворвался во всю эту историю. может он теперь в твиге работает, надо @qnikst спрашивать

я не знаю, Пикеринг вроде раньше не имел отношения к линтипам, но в последнее времявнезапно ворвался во всю эту историю. может он теперь в твиге работает, надо @qnikst спрашивать

он на internship летний пришел, пилит их

к слову о величине шансов многим попасть на internship

full time над ними работает

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

пропозал отреджектили в тот раз, сейчас пока не рассматривают но должы

реализация и была но не полная, сейчас гораздо полнее

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

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

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

они не его же, он только одну фичу для них делал

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

у него аспирантура ещё идет

Как это не его? Он тут первый автор: http://mpickering.github.io/pattern-synonyms-extended.pdf

успеет доделать

а нам нужны линтипы, а не парттерн синонимс

А напомните, плиз, почему они нам нужны?

Как это не его? Он тут первый автор: http://mpickering.github.io/pattern-synonyms-extended.pdf

этот пейпер написан через годы, после того как имплементация синонимов началась, из описанныйх в пейпере фич Пикеринг делал рекорд-паттерны

зачем языковая фича (не)нужна выясняется через несколько лет, обычно

Ну как же так. Юзкейсы должны быть сразу понятны

они примерно и понятны

но только примерно

А напомните, плиз, почему они нам нужны?

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

контроль за ресурсами и работа с off-heap values

которые из-за эксепшенов все равно проблематичны

Ну как же так. Юзкейсы должны быть сразу понятны

можно будет сделать нетекущие стримы (не удобные при использовании, правда)

это довольно актуально для хаскеля, для которого нормальный ИО все никак изобрести не могут

почему-то в других языках отсутствие нормального ИО совершенно не мешает приходить к успеху

почему-то в других языках отсутствие нормального ИО совершенно не мешает приходить к успеху

Это каких?

которые из-за эксепшенов все равно проблематичны

да

почему-то в других языках отсутствие нормального ИО совершенно не мешает приходить к успеху

Потому, что присутствует нормальное что-то другое? IDE, например. Или best practices, наработанные десятилетиями и хорошо структурированные.

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

так и в хаскеле есть нормальное что-то другое

В других языках инженерия ПО присутствует. В Хаскеле она пока еще только начинает зарождаться

В других языках инженерия ПО присутствует. В Хаскеле она пока еще только начинает зарождаться

ахахахаха. то есть мяу.

это ж не от языка зависит, а от среды

Это каких?

tiobe top 10 например

так и в хаскеле есть нормальное что-то другое

В Хаскеле есть нормальные болты и гайки. Многие из них - прекрасны и не предвидятся больше нигде. Но нет общего понимания, как их лучше использовать. В последние пару лет, наконец-то, пришли прагматики со стороны индустрии, а не со стороны академии, и сказали, что они хотят понимания, как строить приложения. А не как играться с болтами и гайками, где каждый городит свои городушки.

В Хаскеле есть нормальные болты и гайки. Многие из них - прекрасны и не предвидятся больше нигде. Но нет общего понимания, как их лучше использовать. В последние пару лет, наконец-то, пришли прагматики со стороны индустрии, а не со стороны академии, и сказали, что они хотят понимания, как строить приложения. А не как играться с болтами и гайками, где каждый городит свои городушки.

Вот такие общие фразы все горазды говорить. Вы конкретнее, конкретнее.

лично меня, на данном этапе, устраивает вообще всё. некогда страдать, надо писать код и катить, катить.

Я не верю в прагмаников из индустрии. Тут их полёт мысли не ограничивает сопротивление материаолов и прочая скучная физика

Прагматиков из индустрии не волнует как строить приложение. Их волнует стоимость производства программистов для поддержки быдлокода

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

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

как будто что-то плохое

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

в индустрии есть "прагматики" с самыми дикими взглядами

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

манагерам не интересны best practices

в индустрии есть "прагматики" с самыми дикими взглядами

Уверен, они так же думают о хаскеллистах

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

Добро пожаловать в реальность. Мне прекрасно понятно ЧТО нужно индустрии. Прелесть хаскеля в том, что он контркультурен, то есть направлен на интересы работников и производителей, а не на интересы тупого менеджмента

было бы странно, если бы не

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

какие смелые у вас заявления. По моим наблюдениям, всякими рекурсивными препроморфизмами увлекаются те кто на JS пишет за еду.

Хаскеллистам не мешает поработать в какой-нибудь большой компании на каком-нибудь условном C++ (Scala или даже Java), чтобы понять, что всяким манагерам и лидам не интересны эти ваши эндофункторы в категории моноидов, а им нужно взять best practices и сделать приложение, которое будет понимаемо другими людьми, знакомыми с этими же best practices. Для интересующихся могу посоветовать книжку "Шаблоны корпоративных приложений" - одно из таких пособий, которое позволяет практикам говорить на одном языке. Не то чтобы мне нравились сколь-нибудь все эти шаблоны (хотя некоторые определенно важны и нужны), но факт остается фактом. Людей интересует знание о том, как строить приложения на более высоком уровне, а хаскеллисты этого понять не могут и думают, что монадический стек или, там, зависимые типы - это вершина такого знания.

ну ок, вот тут рядом условные 100MLoC Java. внедри туда хаскель не подав виду и не умерев!

Если я завтра приду к манагеру и скажу <<новый сервис я пишу на Idris>>, манагер скажет "Ну ок чо"

ИНДУСТРИЯ это просто огромный рекламный билдборд

манагерам не интересны best practices

Еще как интересны. Попробуй какого-нибудь манагера уговорить писать десктопное приложение в нетрадиционном стиле. Он покрутит пальцем у виска и отправит на какой-нибудь MVC-like фреймворк.

Индустрии нужно, чтобы этот билборд рос огромными темпами и притягивал всё больше внимания

@graninas

Если я завтра приду к манагеру и скажу <<новый сервис я пишу на Idris>>, манагер скажет "Ну ок чо"

устраиваете опять флуд ниочём

Еще как интересны. Попробуй какого-нибудь манагера уговорить писать десктопное приложение в нетрадиционном стиле. Он покрутит пальцем у виска и отправит на какой-нибудь MVC-like фреймворк.

Манагер не знает, что такое MVC -like фреймворк

Если я завтра приду к манагеру и скажу <<новый сервис я пишу на Idris>>, манагер скажет "Ну ок чо"

А чо вы разрабатываете?

чат ходит по очень маленькому кругу

А чо вы разрабатываете?

tinkoff.ru

Лучше бы телеграмм забанили таки

А, ну понятно. У вас там реальное производство, а не сайтоклепательство

его и забанили

Если я завтра приду к манагеру и скажу <<новый сервис я пишу на Idris>>, манагер скажет "Ну ок чо"

В большой компании? В Каспере, Яндексе, или, там, JetBrains? Ну да, ну да, конечно

В большой компании? В Каспере, Яндексе, или, там, JetBrains? Ну да, ну да, конечно

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

к.н. Haskell

Манагер не знает, что такое MVC -like фреймворк

Еще как знает. Манагеры же разные бывают. Бывают манагеры проекта. Бывают даже манагеры конкретной группы разработчиков

В каспере вроде есть хаскелисты (я слышал миф)

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

Они не пишут на них лишь потому, что у кого-то левая пятка возжелала этого

В каспере вроде есть хаскелисты (я слышал миф)

Во всех трёх есть хаскелисты

Они не пишут на них лишь потому, что у кого-то левая пятка возжелала этого

и?

Во всех трёх есть хаскелисты

В JB скалисты вроде есть, а хаскелисты откуда? У них же jvm-lock

Давайте начнём с того, что в индустрии вас легко заменить на нейросеть

В каспере вроде есть хаскелисты (я слышал миф)

Хаскеллисты есть. Есть тулзы на хаскелле. Нет продуктов на хаскелле.

наличие X в компании Y /= писать код на X в компании Y

В JB скалисты вроде есть, а хаскелисты откуда? У них же jvm-lock

У них есть даже несколько команд, которые пишут вообще чёрти-что. Типа HoTT языков и всего такого

Давайте начнём с того, что в индустрии вас легко заменить на нейросеть

пока еще не легко

Давайте начнём с того, что в индустрии вас легко заменить на нейросеть

Меня нет, я не программист

Хаскеллисты есть. Есть тулзы на хаскелле. Нет продуктов на хаскелле.

В 2018 нет серьёзных продуктов "на этом языке"

Меня легко заменить на чувака, который знает в 10 раз больше и работает в амазоне :(

наличие X в компании Y /= писать код на X в компании Y

+1

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

ЕЕЕЕ, микросервисы

В JB скалисты вроде есть, а хаскелисты откуда? У них же jvm-lock

Вот в ненавистном тебе чате был редко пишущий там А. Куклев из жетбрейнс. Но правда, он действительно что-то на жавке пишет. Но хашкелисты у них имеются.

ЕЕЕЕ, микросервисы

Если б микро...

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

Продукты разные бывают. Иногда даже монолиты

Вот в ненавистном тебе чате был редко пишущий там А. Куклев из жетбрейнс. Но правда, он действительно что-то на жавке пишет. Но хашкелисты у них имеются.

Мне ненавистен не чат, а один математический "freak" в нём, к сожалению обладающий банхаммером

Вот в ненавистном тебе чате был редко пишущий там А. Куклев из жетбрейнс. Но правда, он действительно что-то на жавке пишет. Но хашкелисты у них имеются.

под хаскелистами подразумевается "на работе - на яве, ночью под одьялом с фонариком - на хаскеле"?

под хаскелистами подразумевается "на работе - на яве, ночью под одьялом с фонариком - на хаскеле"?

Нет, вроде там у них серьёзные сидят ленгведж девелоперы, которые за деньги на хашкелях пишут