низким уровнем вхождения

легкой заменяемостью

Я публичных реализаций много не назову

ну погугли ж ты (

а о кач-ве кода на выходе - все умалкивают

ну больше чем на хаскеле

кроме паксоса raft ещё

это 100%

Давай только кто делает утверждение?

в бесконечность раз больше чем на хаскеле

Я про рафт не спрашивал

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

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

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

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

ссылку?

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

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

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

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

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

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

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

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

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

kontiki

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Да ну

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

*там

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

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

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

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

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

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

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

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

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

отлично

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

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

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

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

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

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

Чем го?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Давай сам

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

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

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

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

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

Возможно

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

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