Александр: но писать на нем прод я не могу

Anatolii: смотрите наш спор с душкиным

а где смотреть?

Anatolii: потому что code reuse.

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

Александр: но писать на нем прод я не могу

ну найдите проект который не жалко и дайте тем кто может

зачем?

т.к. возможно нету никаких проблем

ох блин....

6. Никто не знает, чем продакшон отличается от не продакшона

мне не очень удобно с телефона писать, и на меня уже ругаются

6. Никто не знает, чем продакшон отличается от не продакшона

за продакшон платят зарплату !!

Alexander: проблема ровно одна: на конкурирующих языках проекты пишут попросту быстрее, вот и всё. А почему так получается — я писал выше

Anatolii: потому что code reuse.

серьёзно? вот прям берёте произвольную изолированную функциональность наджави и копипастите в другой проект и оно работает и не мешает никому?

продакшн приносит деньги возможно опосредовано

Alexander: проблема ровно одна: на конкурирующих языках проекты пишут попросту быстрее, вот и всё. А почему так получается — я писал выше

можно статистику?

Andrei D: наброс мимо. В хаскеле вообще нечего реюзать

хм.. ну я не знаю о чем говорит

Alexander: можно. Ссылки в споре в FB

там прямо замеры в секундах?

я не полезу туда снова

когда я читал спор когда он там был я не нашел у вас интересной аргументации

заслуживающей внимания и ответа

я приводил ссылки на статьи

не заслуживают внимания научные исследоваиня?

опубликованные в рецензируемых источниках?

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

или опыт прожект менеджера?

сложно, я тоже на работе

В жаве-то ещё value classes не ввели? По-прежнему ArrayList<Integer> не кеш-локален?

мы на опыт запретили ссылаться

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

а то тут 3 проджект менеджера есть

ну так а чо тогда ты меня своим опытом давить пытаешься?

Leonid Onokhov: а ты Clojure щупал?

я?

ну

Dmitry я без типов не пишу, спасибо

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

в разговорах про удобство рефакторинга

@lonokhov просто на одном месте работает долго наверное :)

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

ну блин

Какие то неконкретные наезды

кстати дарю defer-type-errors тому кому надо компилять при рефакторинге

Нечитабельность не считается, это вкусовщина

кому и ats читабелен

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

а. другие не замечают бревно

Alexander: я привел конкретные вещи, легко проверяемые. Я предлагаю их опровергнуть, а не ссылаться на опыт

б. другие не видели ничего лучше

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

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

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

г. ...

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

и даже могу с ним отчасти согласиттся

ещё я соглашусь с отсутствием тулзов

ещё я соглашусь с отсутствием тулзов

вот это как по мне самое слабое место - но оно даже не было озвучено

хочу поддержу drawf и возможность использования frame graph и gdb

и нормальный рефакторер и плагины к редактору

Alexander: я привел больше аргументов. Если ты их не видишь, то а) не хочешь видеть; б) не считаешь аргументами

я вроде явно про б. писал

Анатолий: я говорил про рефакторинг

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

мы про разное говорим

Невидимые аргументы, а? Кто-то уже не помещается в тред, по-моему.

нету вещей типа переименовать функцию везде и прочего тривиального рефакторинга

в итоге вперёд емакса и вим

но при этом нетривиальный рефакторинг это проще

нетривиальный = не сводящийся к простому обновлению аст

подскажите, вот есть у меня некоторая функция f :: forall t. A t -> M t, есть type family Map (f :: a -> b) (as :: [a]) :: [b], теперь я пытаюсь изобразить forall (ts :: [*]). HList (Map A ts) -> HList (Map M ts)

нету вещей типа переименовать функцию везде и прочего тривиального рефакторинга

для тривиального и sed подходит

Vasily: о, как раз отлчный пример хорошо читабельно хаскель-кода 😊

изначально он ругается на то, что ts у входа и ts у выхода разный, окэй, зафиксировал его, передав Proxy ts

но дальше ему, видимо, нужно что-то, что подскажет форму этого ts

для этого и нужны синглтоны что ли?

-XPolyKinds?

есть такое

сейчас выкину лишнее и покажу код