case split (желательно как в агде), но тоже редко надо

автовставку импорта

или типа данных. там и sed справится

даже если есть одинаковые имена объектов в разных скоупах и они являются разными сущностями?

можно пример?

я понимаю если ты хочешь переименовать toList в fromList и у тебя где-то в локальном скоупе where toList = ...

хотя это продолжит рабоать

и это код с warning-ами

разные методы с одним названием и мы не хотим переименовывать все

или перенести объект из пакета в пакет, не заморачиваясь с обновлением импортов по всем сорцам

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

но у этого подхода есть и минус, иде будет более "тормозной"

что такое объект?

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

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

что такое объект?

константы, функции и т.д. обощил так

а как это теоритически возможно?

ладно можно

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

это сэкономит достаточно времени относительно кейса, когда седом ты наивно продолбал такой момент и получил сюрпризы (апи отвалилось или еще что-нить)

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

дальше попрыгаю по этим местам нажимая .

еще раз, это не прям кейс который даст +100500 к счастью и сэкономленому времени это лишь одна из мелочей, которые все вместе должны дать заметную экономию

не знаю..

как-то слишком теоритически

особенно учитывая что t(размышление) > t(написание кода) > t(рефакторинг)

а такое использование IDE упрощает только простой рефакторинг

я не против IDE но имхо они overrated для простых языков

тем более что и реализаций нету нормальных

зависит от "интеллектуальности" иде

простых = хаскелл :)

сложных = java

т.е для хаскела (и си) IDE не нужен почти совсем, для java - без IDE застрелиться

и для C++, что характерно. т.е для языков, которые порождают много вложенных неймспейсов, котоыре не хавают простые тулзы типа ctags или hasktags

это гипотеза, если что

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

если я набираю мейк в соседнем окне, то это не IDE

эдак иначе вообще всё IDE

эм.. какие критерии IDE?

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

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

т.е у меня есть ADT с некоторым количеством конструкторов, я хочу определить кастомный Ord так что бы какие-то были равны, какие-то равны не были - т.е не дефолтная реализация и не Enum

по сути я каждому конструктору хочу приписать вес

наверное, лучше функцию веса определить явно, что ли?

а не виде специфического Ord ?

если нужны веса, то лучше явно веса

эм.. какие критерии IDE?

На вики можно глянуть

На вики можно глянуть

т.е. я не только должен говорить что vim это не ide (во всяком случае без 100500 плагинов) а ещё и на wiki ходить?

нет

и еще вопрос - насколько использование экзистенциальных типов ломает сразу автоматический дерайвинг?

Generics, Serialize ?

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

скорее всего - полностью ломает

т.к. нету общего средства сериализовать словарь

так, а вот, допустим, GADTs ?

с сериализацией примерно та же фигня

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

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

Как @voidlizard пришёл в чат он ожил

Наверное стало в 2 раза больше людей кто на хаскеле фул тайм пишет

пользуясь случаем, хочу сказать, что нам в проект нужно еще 2 - 3 человека #job

парттайм или фуллтайм, но первое время оплата контрактная

Всем привет

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

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

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

в 80% случаев

https://t.me/hexresearchjob

конечно не спам

Хаскель вакансия - всегда радость😉

@voidlizard какого рода задачи?

@anpryl ну я не могу сказать, что дофига весёлые - основные направления это CRM (servant, postgresql-simple), веб (servant), конвертеры данных - servant-client или curl в тяжелом случае + xml/json

правда в каком-то этапе возникнет эластичная балансировка, возможно с автоматическим запуском инстансов амазон или (что лучше) DO

ну и немного сложной бизнес-логики и edsl

почему кстати DO лучше чем амазон?

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

ну мне удобнее им пользоваться

пока что.

это всё

ну и дц поближе можно выбрать

проичитал "ой всё"

Do прислал какое-то письмо что они там расширяются по фичам