Всем привет! Может кто подсказать как можно справиться с подсказками связанные с зависимостями, использую vscode и haskero? Чтобы не делал, постоянно вылезают ошибки о том, что модулей, которые я иморчу не существует

Модули прописаны в cabal-файле?

скорее зависимости не прописаны

пакеты в которых эти модули

Да, прописывал в кабалфайле, все компилится и работает

вообще если писать саму ошибку, то это может помочь

или haskero неправильно запускает stack

или кабал

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

Просто я открывал не проект, а папку с проектами из-за этого и получал проблемы

=)

А можно-ли haskero научить давать подсказки по глобальным зависимостям?

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

Всегда можно сделать самостоятельный скрипт и спец комменте указать, какие пакеты нужны для запуска. Тогда пакеты установтся в "глобальный проект"

Или можно вне проекта сделать stack install quickcheck - пакет установится в global project и будет доступен при stack runhaskell и stack ghci

Так и сделал, спасибо! Туплю немного)

А если быстро-быстро что-то проверить хочется, то stack ghci --package=turtle --package=foldl и т.д.

Кто уже early bird'нулся на fbyby?

я ещё нет но надо бы

115BYN (3.3т.р)

боюсь опять драться за еду

подожду настоящих билетов

потому что я задал тупой вопрос, а мне не смогли ответить

Какой?

Как там кстати Fabien Potencier))?

К сожалению я не знаю, кто это

а вопрос был простой

я хотел подрубить ДИ контейнер в ентити

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

и никто не объяснил почему

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

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

К сожалению я не знаю, кто это

Создатель симфони

Есть функция с сигнатурой mapBoth :: forall b c . (forall a . [a] -> [a]) -> [b] -> [c] -> ([b], [c])Берёт 2 списка разных типов и применяет к ним функцию. Если я попытаюсь передать первым аргументом функцию с какими-нибудь констрейнтами (например sort), оно не скомпилируется. Как написать чтобы компилировалось?

у тебя тут сказано, что первая функция - forall a . [a] -> [a], то есть она должна работать ДЛЯ всех a, под такую сигнатуру только id подходит

не

ну, map id

он знает что это списки

может длину менять

дублировать элементы

хм, да, не подумал

констрейнты на а он наложить не сможет

ну разве что сразу в сигнутуре mapBoth

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

Я понимаю почему не работает

Я спрашиваю как сделать чтобы работало

ага ок

только я туговат и пишу для себя.

ну разве что сразу в сигнутуре mapBoth

Не подходит такой вариант к сожалению

Оно должно для любых констрейтов работать

а че компилятор говорит?

Не определен Eq для a

No instance for (Ord a) arising from a use of ‘sort’

ну так, чтоб сорт работал, и b и c должны принадлежать Орд а

попробуй в сорте укажи или сюда орд добавь сначала

они могут принадлежать

всё равно не сработает

это известная задача вроде бы в упрощённом варианте, “какой тип у функции \f -> (f True, f "foo") ”

только вот решения я не помню :( или вообще никак не решается, или через какую-то жуть

попробуй в сорте укажи или сюда орд добавь сначала

а если тебе неизвестен контстрейнт?

типа такого нельзя сделать? mapBoth :: (cnt b, cnt c) => Proxy cnt -> (cnt a => [a] -> [a]) -> [b] -> [c] -> ([b], [c]) mapBoth Proxy f [] [] = ([], []) mapBoth Proxy f xs ys = (f xs, f ys)

это не работает, конечно

f :: forall x . x -> () например

тогда функия \f -> (f True, f "foo") будет :: (forall x. x -> ()) -> ((),())

можно сделать более внятную

типа такого нельзя сделать? mapBoth :: (cnt b, cnt c) => Proxy cnt -> (cnt a => [a] -> [a]) -> [b] -> [c] -> ([b], [c]) mapBoth Proxy f [] [] = ([], []) mapBoth Proxy f xs ys = (f xs, f ys)

это как-то можно переменный констрейнт задавать?

можно

@qnikst не, ну разумеется, но надо не “любой тип”, а “наиболее общий”

ну, контрейт - это обычный тип, а тип через проки можно передать

что значит наиболее общий для Haskell?

у нас subtyping не завезли

Вот так работает sort: mapBoth :: (Ord b, Ord c) => (forall a. Ord a => [a] -> [a]) -> [b] -> [c] -> ([b], [c])

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

я вот как раз только собирался добавить сноску “for some reasonable definition of ‘наиболее общий’” :troll:

=)

я думаю, в этом случае пойдёт любой тип, который позволит передавать функции вида f :: forall a. (c1 a, c2 a, ...) => a -> B, где String и Bool удовлетворяют всем констрейнтам c1, c2, ...

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

кстати, вполне работает, лол отдает ([2,3],[True,True])

ну разве что сразу в сигнутуре mapBoth

Не подходит такой вариант к сожалению

Вот так работает sort: mapBoth :: (Ord b, Ord c) => (forall a. Ord a => [a] -> [a]) -> [b] -> [c] -> ([b], [c])

А без первого кейса с пустыми списками будет работать?

ой, там случайно

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

(Используемые расширения RankNTypes и ConstraintKinds, если ghci правильно подсказывает.)

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

в каком смысле?

https://hackage.haskell.org/package/base-4.10.0.0/docs/Data-Proxy.html

https://hackage.haskell.org/package/tagged-0.7.2/docs/Data-Proxy.html

кстати интересно было бы посмотреть на hackage с позиции иерархии модулей

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

да

кстати интересно было бы посмотреть на hackage с позиции иерархии модулей

да, тоже интересно было бы

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

У меня не компилируется

И оно должно работать так: ghci> mapBoth (nub . sort) [10, 2, 1, 2] [True, False, True] ([1, 2, 10], [False, True]) ghci> mapBoth ((:[]) . product . nub) [10, 2, 1, 2] [5.3, 4.2] ([ 20 ], [ 22.26 ])