Код

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

Популярность т.к. где-то до ghc-7 он был слабо юзабельным

Почему нельзя то?

Мы пишем

Фирмы с которыми работаем пишут

Которых консультируем тоже

В чем проблема?

Друзья тоже успещюшно пишут и консультируют с древних годов

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

и это нифига не просто так случайно получилось

Мало связано со строками рекордами и трейсами

Честно

А я изза того что тестов большинство отпадает - точнее это одно и многих + но есть реальные -

Ну минусы у всех языков есть какие-то, пока не оценил минусы хаскеля, но плюсы у него огромные

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

Конечно

Блин сидят куча людей пилят продакшены другие пишут работы и третьи которые ноют что делают не то что они хотят..

Слова дейхла я опровергнуть или подтвердить не могу, но у меня в оценке сомнения

Учитывая только штат Amgen и Galois

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

Ну минусы у всех языков есть какие-то, пока не оценил минусы хаскеля, но плюсы у него огромные

Я когда с толкнулся с таким ограничением что нистансы и классы в одном модуле должны жить - руки пока упали http://stackoverflow.com/questions/3079537/orphaned-instances-in-haskell

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

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

Желательно понимая проблематику до конца

;)

угу, судьбу пропозала про рекорды напомнить?

5 лет никаких движений

Ну никому не нужно было, щас янг пилит

Нужно - подключись

Alexander Vershilov как можно решить Orphaned instances in Haskell

Newtype написать

Или reify использовать

да проще написать на жабе чем пытаться пропозал через это болото толкать )

Да я читал но чтото громозко выглядит

Ну пытаться заставить других людей написать за тебя то от чего у них не будет профита действительно сложно

У WT вроде порядка 700L час работы, можешь спонсировать

На длинный проект скидки

На ghc наверняка большие

угу, или написать на go кажется выйдет дешевле

Извини, у меня не хватает воображения для того чтобы придумать задачу в которой наличие string в base это блокер

Или ORF

или скорость компиляции )

В т.ч.

или интроспекция рантайма как в эрланге или жабе

Для этих я могу представить зачем это надо

но если это все собрать вместе то оказывается что лучше уж мучаться с хреновым синтаксисом (go) =р

Но тут haskell в другой категории языков

да как в другой

От сей ты интроспекции наверное не требует?

Это не VM язык

хаскел это все ж не си

Это та же категория что и компилируемык язвки

да ну брось это высокоуровный язык с gc и прочим

то что там не vm это детали реализации уже

И это не язык компилируемык в бпцткод

И это не язык компилируемык в бпцткод

Компилируемый в быдлокод :)

Извините, не удержался

:)

Местами так и есть

В кодогенераторе куча работы

Так от байткода читаемости никто не ждет, ему можно

Я про качество

Быдлокод может быть прекрасно читаем

Так что там с проектами которые без рекордов не запилить?

Я пока только с трейсами согласился:)

Со строками я согласен что плохо, но я не знаю хорошего решения

От ORF я бы не отказался, но это не то что и проблема

В либах гораздо больше проблем

И в эффективных паттернах

Я про качество

Я опять про орфанс инстансы) Например автор либы прописал у себя класс как мне его тн расширить реализовать Например на третий тип данных определенного в другом модуле через newtype чтото некрасиво а reify коротко что это и для чего

Которые для команды снаружи это действительно проблема

Так давай по очереди, почему этот ворнинг появляется и при каких условиях и почему он важен понимаешь?

Если тебе надо реализовать свой тип данных то ворнинга не будет.

Он появляется если инстанс для типа определен в модуле где не определен ни тип ни класс

Если тебе надо реализовать свой тип данных то ворнинга не будет.

Какого плана проекты вы запускаете в продакшн?

Важно это т.к. все инстансы безусловно экспортируются

Управлялка кластером со специальной распределенной фс на несколько десятков Pb

HaskellR для Amgen писали

Еще консультировали AlphaSheets в том же направлении

Ну и один большой европейский проект для кластерных фс