@haskellru
Alexander25.05.2018
09:10:45
09:10:45
и.е. было S A, а сделать S (B,A)
можно руками написав json но это как-то некруто
хм.. может свой encoding можно
там же расширяемо
Google
Anton25.05.2018
09:14:13
09:14:13
Всем доброго утра/дня! А подскажете как называется вот такая функция в теории категорий?
fork :: (x -> a) -> (x -> b) -> x -> (a, b)
fork f g = \x -> (f x, g x)
(или с этим лучше в теоркатный чатик?)
Timofey25.05.2018
09:14:52
09:14:52
Нужно hie/hlint/stylish-haskell ставить через "копирование бинарей поближе к компилятору" (stack build --copy-compiler-tool). Тогда при stack exec -- ... они а) попадут в PATH и редактор их увидит, б) будут соответствующих компилеру версий
--copy-compiler-tool разве их ставит "поближе к редактору"? У меня он их засунул в ~/.stack/compiler-tools/x86_64-linux/ghc-8.2.2/bin/Вопрос, кстати, ^ это стоит описать в каком-то виде, чтобы ссылку давать? Или такой подход - для извращенцев вроде меня и больше никому не пригодится?
Лишним точно не будет, мне бы в своё время очень пригодилось
Aleksey25.05.2018
09:19:45
09:19:45
--copy-compiler-tool разве их ставит "поближе к редактору"? У меня он их засунул в ~/.stack/compiler-tools/x86_64-linux/ghc-8.2.2/bin/
"Поближе к компилятору", конечно же. ПоправилСкладывание в ~/.stack/compiler-tools/x86_64-linux/ghc-8.2.2/bin/ позволяет переиспользовать во всех снапшотах, которые базируются на этой версии компилятора. Это удобно, когда есть проекты с "соседними" снапшотами
Dmitry25.05.2018
09:25:49
09:25:49
А hdevtools почему не используется?
@asyntax ^
В твоей схеме
Я прям вообще без hdevtools жить не могу, когда он отваливается (по разным причинам) уровень Haskell-боли на порядок вырастает
Maxim25.05.2018
09:27:08
09:27:08
а какой от него профит? я его таки смог завести, но не понял зачем
Dmitry25.05.2018
09:27:11
09:27:11
А, вместо него ghc-mod?
GoogleMaxim25.05.2018
09:27:11
09:27:11
когда уже есть hie
еще бы он не жрал память так много...
правда у меня hie почему-то не хочется дополнять импорты, надо еще разобраться
Dmitry25.05.2018
09:27:39
09:27:39
Я старовер, я в vim'е
Maxim25.05.2018
09:27:44
09:27:44
ну так и я в виме
LanguageClient_neovim, deoplete, hie
в неовиме, естественно
Dmitry25.05.2018
09:28:25
09:28:25
hie -- как плагин к vim'у может работать?
Alexander25.05.2018
09:28:26
09:28:26
Anton25.05.2018
09:28:45
09:28:45
ок
Dmitry25.05.2018
09:28:51
09:28:51
Вижу, может
Maxim25.05.2018
09:28:55
09:28:55
Dmitry25.05.2018
09:29:04
09:29:04
Нуу, надо будет на выходных тоже пощщупать
Maxim25.05.2018
09:29:05
09:29:05
language server protocol, имхо, отличная тема
Alexander25.05.2018
09:29:08
09:29:08
вообще мне это какой-то энкожинг напоминает типа Scott
Maxim25.05.2018
09:29:14
09:29:14
MS молодцы, как ни странно
Alexander25.05.2018
09:29:41
09:29:41
или П-калкулус
но чему это в ТК соответствует и какому пакету кметта я не знаю
Aleksey25.05.2018
09:33:03
09:33:03
@maksbotan @dmalkr на наших рабочих проектах не работает ни hie, ни hdevtool, ни ghc-mod. ghcid и тот я не смог завести
На хоббипроектах работает intero и мне норм
GoogleDmitry25.05.2018
09:34:01
09:34:01
Почему не работает, ресурсов не хватает?
Aleksey25.05.2018
09:34:32
09:34:32
Было бы у меня 16 ядер и 128ГБ ОЗУ, работал бы (но это не точно)
ghc-mod просто не парсит наши исходники
Dmitry25.05.2018
09:35:08
09:35:08
Жесть
Aleksey25.05.2018
09:35:20
09:35:20
Потому что haskell-src-exts - говно
Кароч, ошибки у мну подсвечиваются через stack ghc, сбоку в отдельном терминале запущен stack --file-watch, hlint на подхвате. Навигация через etags. Так и работаю.
ошибки проверяются только по save, иначе я бы повесился
Dmitry25.05.2018
09:37:45
09:37:45
Ошибки через stack ghc -- в редакторе подсветка, или в отдельной консоли?
Aleksey25.05.2018
09:38:27
09:38:27
Emacs в фоне запускает stack ghc для файла при сохранении. Секунд через 5-10 обновляются ошибки в редакторе
A64m25.05.2018
09:38:54
09:38:54
вроде же ghc-modу HSE нужен только для того чтоб парсить некорректный хаскель для фичи, которая реализацию-заглушку делает для сигнатуры функции
Dmitry25.05.2018
09:38:55
09:38:55
Или не нужно?
A64m25.05.2018
09:39:22
09:39:22
так что дело в другом, наверное
к примеру, ghc-mod не может с vector работать из за сишных макросов
Aleksey25.05.2018
09:39:55
09:39:55
Dmitry25.05.2018
09:40:24
09:40:24
А колоризация как делается? Не спотыкается об [xxx|....|] ?
Aleksey25.05.2018
09:40:26
09:40:26
так что дело в другом, наверное
Может быть. Я ghc-mod давно не пробовал завести - первый опыт останавливалMaxim25.05.2018
09:40:55
09:40:55
а вот скажите, в линзах есть такая штука: useM l f = get >>= l f
чтобы в StateT делать так:
useM someLens $ \some -> do ...
эквивалентно zoom someLens $ do some <- get; ...
GoogleAleksey25.05.2018
09:41:39
09:41:39
А колоризация как делается? Не спотыкается об [xxx|....|] ?
Имаксовый хайлайтер не спотыкается на таком. Даже всякие Foo '[Bar 'Baz @"fofof"] хаваетDmitry25.05.2018
09:43:44
09:43:44
Круто! Надо бы такое для vim найти. А есть какая-то интеграция с haddock'ом? Чтобы смотреть документацию к функциям/типам?
Aleksey25.05.2018
09:45:39
09:45:39
Библиотечные я либо помню, либо дырку ставлю и смотрю тип, либо хуглю. Внутрипроектовые могу ещё через go to def глянуть. Документацию опять же хуглю.
Dmitry25.05.2018
09:46:14
09:46:14
Хуглишь -- т.е. переключаешься в браузер и там смотришь? Или интегрировано в редактор?
Aleksey25.05.2018
09:46:43
09:46:43
Жму в редакторе хоткей, открывается вкладка в браузере.
Мы haddocks собираем сейчас, надо бы открывать локальную версию, но всё никак не прикручу
Dmitry25.05.2018
09:47:38
09:47:38
А есть уже функционал, чтобы по имени функции можно было как-то import Data.Xxx.Yyy добавить?
(Или такого в природе ещё вообще нету?)
Aleksey25.05.2018
09:48:10
09:48:10
intero вроде умеет
вызываешь функцию, интеро показывает ошибку и предлагает исправить импортом оттуда-то
Dmitry25.05.2018
09:48:43
09:48:43
Ну у меня всё :)
Сделай доброе дело, запили пост на gist'е. Типа, Haskell IDE in 2018. Такие статьи попадаются в сети, но они быстро устаревают. Если положить в gist, то это можно было бы хоть как-то поддерживать и актуализировать.
Aleksey25.05.2018
09:50:02
09:50:02
Ок.
Dmitry25.05.2018
09:50:26
09:50:26
Ну и потом сюда ссылку в шапку, и к новичкам тож.
Aleksey25.05.2018
09:51:24
09:51:24
Может на Wiki к github/ruhaskell напишу, чтобы коллаборация была, вот это всё
Dmitry25.05.2018
09:58:23
09:58:23
Ну только чтобы другие тоже могли добавлять, хотя бы в виде PR'ов.
@maksbotan Neovim лучше vim'а? В чём? (Ну, для тебя.)
Maxim25.05.2018
10:02:54
10:02:54
я поставил попробовать, когда он только появился, ну так и привык. вообще, асинхронная работа с внешними приложениями это прикольно, редактор не блокируется когда делает комплит или проверяет исходник
ну и терминал иногда бывает полезен
Dmitry25.05.2018
10:03:12
10:03:12
Я его полгода назад пробовал, что-то сильной разницы не заметил, а вот пара моих наработок перестала работать :( Надо было бы портировать, но я забил.
GoogleMaxim25.05.2018
10:03:13
10:03:13
поддержка true color в консоли рулит
Dmitry25.05.2018
10:03:31
10:03:31
Хм, асинхронность -- да, надо брать.
Maxim25.05.2018
10:03:53
10:03:53
там в vim8 тоже завезли асинхронность
и терминал =)
так что теперь непонятно что лучше
Dmitry25.05.2018
10:04:41
10:04:41
Да, вот я и в раздумьях, надо ли переходить.
Maxim25.05.2018
10:05:10
10:05:10
Я просто уже привык. Не хочу пытаться свой конфиг переносить
Dmitry25.05.2018
10:06:09
10:06:09
У меня с vim на neovim все плагины перенеслись совершенно ровно, только мои собственные поделки отвалились.
A64m25.05.2018
10:10:00
10:10:00
еще бы он не жрал память так много...
кстати, вроде как этот лик в ghci при перезагрузке пофиксили https://github.com/ghc/ghc/commit/f27e4f624fe1270e8027ff0a14f03514f5be31b7A64m25.05.2018
10:17:46
10:17:46
ну это еще осенью только зарелизят
Mink25.05.2018
10:32:34
10:32:34
Всем доброго утра/дня! А подскажете как называется вот такая функция в теории категорий?
fork :: (x -> a) -> (x -> b) -> x -> (a, b)
fork f g = \x -> (f x, g x)
(или с этим лучше в теоркатный чатик?)
Не скажу про ТК, но в haskell это похоже на (&&&) из тайпкласса ArrowAnton25.05.2018
10:35:40
10:35:40
спасибо! в категорном чатике тоже об этом сказали
Gleb25.05.2018
11:38:57
11:38:57
Привет, чатик. Кто в каком редакторе пишет на хаскеле? Где больше всего плюшек? Есть ли идешки уровня JetBrains - чего-нибудь?
Maxim25.05.2018
11:40:16
11:40:16
что, отдохнули и по новой за редакторы? :)
Hot25.05.2018
11:40:53
11:40:53
Привет, чатик. Кто в каком редакторе пишет на хаскеле? Где больше всего плюшек? Есть ли идешки уровня JetBrains - чего-нибудь?
Не пишу на хачкеле.Потому что не умею.
А если бы писал, то писал бы в vim.
Потому что ни один мой калькулятор IDE от JetBrains не потянет, да и сложные они, неудобные.
Gleb25.05.2018
11:41:50
11:41:50
Открыть в Telegram