А давайте другой пример. Есть задача реализовать в продукте скриптовый язык для поддержки системы плагинов (плагины на нем будут писаться). Вы бы выбрали?

но это не значит что на хаскеле тяжело написать такое:)

Ну у меня вот тут прям передо мной есть паксос на хацкеле

А на го нету бесконечности

ссылку?

на паксос на хаскеле

Устраивайся к нам - посмотришь

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

Его врятли в скором времени откроем

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

Там не менее, уже не бесконечность. Уже где-нибудь 1:50 :)

Так на какую реализацию мне смотреть?

Где multipaxos, со всеми расширениями?

ну про бесконечность это шутка понятно на просторах хакаджа найдётся пара неработающих реализаций рафта наверное )

kontiki

А зачем больше?

Хотя с контиками былт проблемы какие-то с изменениями кластера

Но я не следил подробно

Учитывая что паксос без расширений это задача на 1 день

Так что дает го, что не дают другие ЯП?

И как это понять не уча язык

стандартная библиотека, конкаренси, простой язык

рантайм вменяемый ещё и простая интеграция с сишным кодом

рантайм вменяемый ещё и простая интеграция с сишным кодом

Ты назвал все то, что традиционно записывают в достоинства хаскеля. В теории :-)

но слив с вопроса про Идрис на пятерочку конечно

Я понял как хацкель только без системы типов

Т.е. я не понимаю почему го мне поможет

А не скажем rust или тупо си

раст все же сильно ниже уровнем

Да ну

Все что есть в го есть и тап

*там

ну в ассемблере тоже "все есть" ) gc нет в расте например

А не скажем rust или тупо си

Попробуй составить матрицу принятия решений.

Ну мне сказали что это очевидно не изучая язык

Как я матрицу поставлю если я его не знаю

По мотивам Рабинович напел?

И в интернетах рассказали?

не "не изучая язык", а "не изучая досконально"

Ну Идрис тоже доскалально читать не нужно

отлично

Ну мне сказали что это очевидно не изучая язык

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

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

Но чтения документации спек и туториалов очевидно недостаточно

ок, хер с ним с идрисом где более "выгоден" хаскель?

Т.к. я могу только догадываться и у меня нету опыта практического применения

Чем го?

чем все остальное

Но чтения документации спек и туториалов очевидно недостаточно

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

ну должна ж быть какая-то ниша где хаскель это лучшее решение

не считая "пишу диссер по системам типов"

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

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

Это много объясняет;)

"во всех задачах" уже как-то не очень задача написать драйвер сетевой карты под линукс тут все ж очевидно что не прокатит вовсе не из-за "нет готовых либ"

и прувер с эффективностью не помешал бы

Мне кажется если читать что я пишу, то половина комментариев к моим словам отпадет, советую

Ну не помешал бы, ничем помочь не могу

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

и полчаса доказывать это

Ребят из галуа я конечно лично не знаю но знаю что они пишут

Хотя знаю тех кто там работал

ну... "ссылка на гитхаб или этого не существует" =р

Galois/haLVM может чтото открытое и есть

Давай сам

Мне честно лень тратить время

ок, хер с ним с идрисом где более "выгоден" хаскель?

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

да что сам ( как и в случае остального с хаскелем будет 3 независимых proof-of-concept из которых ни один не пошел в продакшен

это в лучшем случае

ERROR: S client not available

Возможно

Это много объясняет;)

Как-то так, да

Мне не сильно интересно боросться с чужой религией

Коммерческого профита от этого у меня нет

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

не придумали еще таких языков

Оговорки не небольшие

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

Пишут же...

ну наличие библиотек только

В общем очередной раз подчеркну что мне лень с тобой спорить с телефона

Пишут же...

Человек верит что не пишут, не мешай ему

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

Возможно, но можно почитать что это

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

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

Еще лет 5 назад читал мануал, как написать драйвер (сетевой карты как раз) на хаскеле под линукс с ядром 2.6

Еще лет 5 назад читал мануал, как написать драйвер (сетевой карты как раз) на хаскеле под линукс с ядром 2.6

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

Ясное дело, речь шла о концепции, но все же это было

ради концепции можно и на брэйнфаке написать но толку-то?

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

Не в курсе. Сразу после сдачи проекта я снес линукс и больше не возвращался к нему :-)

ну в винде или osx или в bsd

да хоть где =р

ну в винде или osx или в bsd

В вроде в принципе драйвер написать на чем-то отличном от сиплюсплюс сложно. Ну, си еще, наверное, годится, с оговорками. В гейоси тоже правит обжектси

/ В винде/

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

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

Верблюд еще жив что ли?

Или мл-ли, кто там миктоведро с днс доказанным писал?

Верблюд возможно оживет когданить когда там нормальную RTS осилят, если осилят

да уже кажется быстрее хаскель сделают нормальным чем окамл

Это вполне возможно

Верблюд возможно оживет когданить когда там нормальную RTS осилят, если осилят

Вот это *если* я уже давно стал читать как *никогда не*

Ну они в процессе поддержки SMP

Там и сообщество, кажется, сильно усохло.