169 похожих чатов

Поделитесь, есть ли какой-то вариант ide или редактора, где можно

настроить возможность смотреть исходники используемых библиотечных функций и искать по ним (что-нибудь вроде Hoogle, но в контексте проекта)? С emacs, я так понял, такое то ли не делается, то ли нужно как-то сильно заморочиться

7 ответов

15 просмотров

hls (+ VSCode) умеет по проекту прыгать с "Go to definition", но исходники других библиотек, пока что, нельзя так посмотреть

Anton-Stekanov Автор вопроса
kei
hls (+ VSCode) умеет по проекту прыгать с "Go to d...

так в емаксе тоже работает хорошо. там тот же самый hls так что скорее всего всё работает плюс/минус одинаково

Anton-Stekanov Автор вопроса

tfw поддержка coq у тебя в редакторе во многом лучше, чем haskell) там две указанные фичи работают довольно хорошо

Можно поднять хугл для своих проектных библиотек)

Есть плагин для vscode, который таки скачивает исходники хаскельных зависимостей, но у меня не заработало https://github.com/kr3v/haskell-gtd-nl

kei
у меня заработало

тоже заработало

Похожие вопросы

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
что насчет пагинга? на осдеве непонятно(
Vi Chapmann 🪙
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
Комрады, хотел уточнить. Проперть в OnDestroy юнита-хозяина по-прежнему доступна? И еще уточнение: finalization юнита наступает раньше или позже OnDestroy?
Ed Doc
48
Продолжая диалог про свифт в проде – сейчас возник вопрос в активном наборе бекендеров. В основном в нашей компании мы фанаты Java Spring и полностью ей довольны. Однако найм ...
Guseyn
27
Читаю сейчас [нет, уже больше не читаю!] курсовую о Булгакове, написанную, похоже, с помощью ChatGPT. Это удивительный психоделический опыт. Текст в основном написан в стиле б...
✨ Uni [🌊 В отпуске]
1
если загрузчик efi? если сама PML4 PDPT PDT PT лежит в неудобном для меня месте?
Vi Chapmann 🪙
8
Карта сайта