Надо бы голосование устроить, кто на чем пишет. Видимо, большинство на vim

какой там самый нормально работающий плагин (если есть такие)

haskell language server

haskell language server

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

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

в смысле вообще не может? или где-то проблемы?

там по моему сразу ставится как зависимость haskell syntax highlight

это клиент для hie а сервер отдельно надо?

да

ох блин )

с haskero (второй работающий плагин) то же самое, только ставить отдельно нужно intero

Надо бы голосование устроить, кто на чем пишет. Видимо, большинство на vim

почему такое мнение?

Я не уверен. Предлагаю проверить голосованием

а варианты?

вариантов 2 - да, на вим или нет, не на вим

ну такое это даст ответ всего на один вопрос "какой процент пишет на виме"

можно варианты разных редакторов

vim/emacs(spacemacs)/vscode/atom

ну вот я и спрашиваю какие //я просто очень плохо разбираюсь в том какие нынче редакторы модные

haskell language server

haskero лучше на данный момент

В hie автокомплит не завезли

Я устроился на работу после Хаскелля, но пришлось стать личной гей-шлюхой европейского Господина :3

В hie автокомплит не завезли

Вчера попробовал HIE, до этого несколько месяцев сидел на haskero — немного более бажный, но функциональней. Автокомплит в HIE есть и даже поумнее, чем в haskero, мне показался (хотя тут надо по идее сравнивать сам haskell ide engine vs intero), оба юзают syntax highlighting как отдельную зависимость, при этом у hie еще доки на ховер, что оооочень удобно и круто. И у меня intero безумно тёк (иногда еще на своп налазил и в итоге по 50гб жрал), приходилось вскод рестаровать раз в день примерно, а с hie за вчера такого замечено не было :) У меня проблема только с автоформатированием вылезла: с хаскеро я юзал hindent и все было круто, работало быстро и автоматом, а с hie не могу ни встроенный brittany работать, ни hindent уже даже не пашет стабильно. Приходилось вчера весь день самому ctrl+alt+f натыкивать, чтобы формат документа был и то раза с десятого только срабатывало

Партия сказала не голосовать, комсол ответил "есть". Хотя я уже стар для комсомола, конечно :(

срачи о редакторах опостылели? теперь будем обсуждать политику?

срачи о редакторах опостылели? теперь будем обсуждать политику?

Ну просто всем давно понятно кто какие редакторы юзает и что думает о других редакторах

Скоро будет год как я тут сижу, а всё редакторосрачи. Можно сценарий написать, подготовить срачеботов-заменителей и прогонять его по крону

Скоро будет год как я тут сижу, а всё редакторосрачи. Можно сценарий написать, подготовить срачеботов-заменителей и прогонять его по крону

Завтра они пройдут тест Тьюринга, а послезавтра нас всех уволят к чертовой матери.

Если машины и пройдут "тест Тьюринга", то просто потому, что современная система производства людей нацелена на создание односторонних не умеющих самостоятельно думать индивидов, работающих по инструкции. Но уволить конечно уволят. В любой отрасли автоматизация вытесняет ручный труд, это естественный закон рынка

Да скорее бы! Будем сидеть на БОД, будет больше времени на срачи в чятике

Если машины и пройдут "тест Тьюринга", то просто потому, что современная система производства людей нацелена на создание односторонних не умеющих самостоятельно думать индивидов, работающих по инструкции. Но уволить конечно уволят. В любой отрасли автоматизация вытесняет ручный труд, это естественный закон рынка

Хорошо что мы не такие

какой там самый нормально работающий плагин (если есть такие)

нормальных нет, но наименее ненормальный - haskell language server

Вчера попробовал HIE, до этого несколько месяцев сидел на haskero — немного более бажный, но функциональней. Автокомплит в HIE есть и даже поумнее, чем в haskero, мне показался (хотя тут надо по идее сравнивать сам haskell ide engine vs intero), оба юзают syntax highlighting как отдельную зависимость, при этом у hie еще доки на ховер, что оооочень удобно и круто. И у меня intero безумно тёк (иногда еще на своп налазил и в итоге по 50гб жрал), приходилось вскод рестаровать раз в день примерно, а с hie за вчера такого замечено не было :) У меня проблема только с автоформатированием вылезла: с хаскеро я юзал hindent и все было круто, работало быстро и автоматом, а с hie не могу ни встроенный brittany работать, ни hindent уже даже не пашет стабильно. Приходилось вчера весь день самому ctrl+alt+f натыкивать, чтобы формат документа был и то раза с десятого только срабатывало

hie вообще тоже течет (как любой хаскельный лэнгвиджсервис, тут гхц виноват)

а рулевой комитет тем временем одобрил очередную микрофичу https://github.com/ghc-proposals/ghc-proposals/pull/94

> by simonpj А бывают SPJ'ные фичи, которые он не одобряет?

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

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

кул, а покрывает ваши хотелки?

@catamorphism ^

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

я прямо руками конкретный парсер переписал

больше 1 порядка хотелось? ну и аппетиты у вас :)

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

libsax, hexml, hexpat etc

при условии что мой парсер обобщится

сейчас он заточен под ивенты из xeno, но будет время - попробую сделать более общо

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

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

еще чуть покручу и релизну на hackage

больше 1 порядка хотелось? ну и аппетиты у вас :)

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

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

а на деле это обычная большая группа опциональных полей

*Silica> [(x, 3 * x) | x <- [1..10]] & productOf _2 <interactive>:5:41: error: • You tried to access the second field of a list. However, a list does not have any "fields". Tuples and similar types can. You have a list of tuples of type (Integer, Integer). Try applying `folded` or a similar combinator to first traverse "into" the list. Then you can use field selector lenses like _1 to access the fields of the tuples inside. For example, >>> [(1,1),(2,4),(3,7)] & sumOf (folded % _2) 12 >>> [(1,1),(2,4),(3,7)] & sumOf _2 <this error> Use `folded` as many times as you need to to drill down into nested structures. For example, here's a nested list: >>> [[(1,1),(2,4),(3,7)],[(5,6)],[(2,1),(4,3)]] & sumOf (folded % folded % _2) 22 • In the first argument of ‘productOf’, namely ‘_2’ In the second argument of ‘(&)’, namely ‘productOf _2’ In the expression: [(x, 3 * x) | x <- [1 .. 10]] & productOf _2 *Silica> [(x, 3 * x) | x <- [1..10]] & productOf (folded % _2) 214277011200

8.4?

просто ссылки на гитхаб бы хватило, там же в ридми оно

https://github.com/mrkgnao/silica

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

ого

красотень

как-то черезчур вербозно на мой вкус

но я лайкнул

@catamorphism а в чём проблема опциональности если у тебя порядок строгий для тэгов?

хм, больше 80 лайков уже) когда я это видел, то было только 2

но нет пока даже на хакадже, использовать только с гитхабом?

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

@catamorphism а в чём проблема опциональности если у тебя порядок строгий для тэгов?

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

а с ходу не подскажешь "грамматику" где вылезает? что-нибудь типа A?B?C?XYZ ?

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

найс

где A,B,C,..Z - тэги

а с ходу не подскажешь "грамматику" где вылезает? что-нибудь типа A?B?C?XYZ ?

я потерял кейс честно говоря в попытках побыстрее собрать рабочий парсер по работе

надо будет еще подумать

ок, нивапрос

в чем профит обобщать линзы до разных профункторов, то есть p a (f b) -> q s (f t) ? еще вопрос - в чем профит использовать старые кметовские линзы, когда профункторное вроде как и в понимании проще, и в реализации? Нет лишней зависимости? Перформанс лучше из-за меньшего количества абстракций?

ну во первых не нужно импортить Control.Category :P

на профункторах какие-то индексед траверсалы нереализуемы вроде

профункторные, это которые mezzolens?

это когда Forget для view например вместо Const

я про пакет) это понятно, что там

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

простите, это было слишком хорошо

ребят, политота и религия запретныет темы тут

Хорошо. Только не пишите это по 10 раз