ether,m-classes через теги или аналог

поэтому там проблемы фундепов нет

а так у трансформеров проблема это скорость, если стек глубокий

что возможно решает Monad morphism

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

Имеет смысл делать, например, два слоя StateT, если один под ExceptT, а другой над.

А если они оба под, или оба над, то взять и объединить

в сравнении с другими решениями - дп

но это те решения ещё более медленные

Что ты себе представляешь быстрее?

Это final encoding

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

А, ну это да, я не рассматривал альтернативный вариант (таскать ненужную часть стека везде)

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

и он получается зависим от глубины стека +- инлайн

Ребят, кто какую IDE пользует под haskell?

Вскод + хаскеро(интеро), юзабельно, но не скажу, что доволен прям всем

Я IDE не использую вообще. Раньше стоял ghc-mod на Atom, но я его отпилил, потому что полусекундная задержка и н перестал работать после какого-то обновления системного GHC

ну а редактор кода какой лучше? Я пробовал notepad++, но как-то не в восторге...

лоол

http://haskell.github.io/haskell-mode/

vscode + haskell-ide-engine, hfm

а про atom есть отзывы?

медленный

vscode + haskelly, но юзал только на маленьких проектах

idea + haskforce, худо-бедно работает (с комплитом частенько беда)

Лучше vs code

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

Подсветка синтаксиса для Haskell там есть

а про atom есть отзывы?

Atom. Всё хорошо. Запускается дольше, чем vs code, остальное тормозит одинаково и уже не из-за редактора

Подсветка синтаксиса для Haskell там есть

а ещё есть что-нибудь?:) чтобы снизить кол-во обращений к ghci в соседнем терминале

кстати, подсветка хромает

по-крайней мере на vim 7.4

> чтобы снизить кол-во обращений к ghci Все эти Intero и прочие приблуды не работают с проектами хотя бы несколько сотен файлов

Да и GHCi там себя не восторг как показывает

stack build --file-watch и вперед

stack build —file-watch —fast

даже stack build —test —file-watch —fast —pedantic

Ну да.

--pedantic turns on -Wall -Werror for GHC (all warnings on, and warnings treated as errors)

Я это в .cabal-файле включаю

А есть какой-нибудь -Wall-except-orphan-instances? И вообще, что за история с орфанами, что их так компилятор не любит?

ну как бы объявление в одном файле, а докручивания всякого в другом как-то не логично

OPTIONS_GHC -Wno-warn-orphans

в заголовок

из него любят т.к. они легко могут привести к коду, который неадекватно ведет себя в runtime

если разные инстансы применяются одновременно

https://www.youtube.com/watch?v=hIZxTQP1ifo

^ Почему нужно любить instance coherence

А орфаны — это самый простой способ ее просрать

@Jubadze, два года пишу на Хаскелле в Атоме, всем доволен

ghc-mod перестал работать для ghc8+

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

ghc-mod перестал работать для ghc8+

ты его пересобирал?

нет, то что установил через stack

> вим и емакс для тех, кто любит редактировать редактор вместо написания кода Вим для тех, кто не стрелочками по коду двигается. У меня всё

Редактировать редактор мне не по нраву, это необходимое зло.

ага https://github.com/Microsoft/vscode/issues/396 @cblp_su

https://github.com/Microsoft/vscode/issues/396#issuecomment-314806660

нет, то что установил через stack

ты его для ghc7 установил?

@xgrommx как ide к vscode подключить нормально?

@xgrommx как ide к vscode подключить нормально?

ide?

Haskell-ide-engine

собираешь, потом в вскоде ставишь плагин и все

https://github.com/Microsoft/vscode/issues/396#issuecomment-314806660

это какая-то непонятная "внутренняя" альфа

такой плагин

Language Server Protocol for Haskell via HIE

Он там будет?

Откуда ставить?

Откуда ставить?

плагин для вскод просто поиском в плагинах

это какая-то непонятная "внутренняя" альфа

https://github.com/Microsoft/vscode-docs/blob/vnext/release-notes/v1_16.md

vscode + haskelly, но юзал только на маленьких проектах

haskerro лучше

emacs4life

> вим и емакс для тех, кто любит редактировать редактор вместо написания кода Вим для тех, кто не стрелочками по коду двигается. У меня всё

лучше и не скажешь

а yi кто-нибудь тыкал?

у меня емакс с ивил модом. Я его не редактирую. Но зато в нем можно двигаться по коду без стрелочек и это великолепно

не стрелочками — это hjkl?

ага

Нет конечно

motions

за десять с чем-то лет использования вима это для меня совершенно естественный способ перемещения

не стрелочками - это словами, параграфами, блоками кода

Да

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

у меня еще на идее плагин intellij-haskell

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

ну в смысле мне проще hjkl, чем вспоминать про параграфы. А, по словам двигаюсь, да

А про Emacs с evil -- в широком смысле это тоже вим, просто другая реализация. Главное философия modal editing и motions

не стрелочками - это словами, параграфами, блоками кода

и это как-то влияет на вашу продуктивность?

Да

в пределах строки - по словам или по f или t на символ

и это как-то влияет на вашу продуктивность?

помимо перемещений ещё есть команды, которые к ним применяются

а это непосредственно редактирование

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

фокусы типа ci( жгут

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

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