@haskellru

Страница 376 из 1551
Даниил
31.08.2017
21:40:44
Ilya
31.08.2017
21:41:01
это настолько базовый спор, что все аргументы давно известны

Index
31.08.2017
21:41:31
> > сразу после десятичасовой установки Меня это не волнует, я могу в установке не участвовать. > почитай про философию unix-way, много станет понятно Первый раз про нее слышу, и ничего в этом не понимаю.

Я советую посмотреть доклад Конала Эллиота про то, почему unix way не работает в нетипизированном мире

Google
Index
31.08.2017
21:43:19
Когда интерфейс максимально универсален (строчки везде), то количество invalid states взрывается. И мы везде получаем парсинг/рендеринг at the component boundaries

Евгений
31.08.2017
21:43:48
Опять вы срётесь об IDE

Index
31.08.2017
21:44:08
Про что еще в Haskell сраться, у нас две проблемы — GC и IDE

Ilya
31.08.2017
21:44:45
кому-то нравится зависеть от дядей, кому-то нет

каждому своё

Евгений
31.08.2017
21:45:07
Index
31.08.2017
21:45:11
кому-то нравится зависеть от дядей, кому-то нет
Ну вот это как раз разделение между "хочу продукт" и "хочу из говна и палок сам слепить"

Даниил
31.08.2017
21:45:27
да на самом деле вы хуйнёй страдаете IDE это круто, консоль это круто заниматься разработкой в IDE и использовать консоль аки джедай для того что не предусмотрено в IDE - нормальный подход или нет, если железо слабое и тупо не тянет всякие IDE типа продуктов JetBrains - тогда как бэ и выбора особо нет

Ilya
31.08.2017
21:45:29
сегодня ты пишешь под Haskell и радуешься свистоперделкам в IDE завтра хочешь попробовать Idris и идёшь в notepad, т.к. Idris в твой VS дяди ещё не завезли

Misha
31.08.2017
21:45:31
Про что еще в Haskell сраться, у нас две проблемы — GC и IDE
про трансформеры были еще интересно, я вот как раз на той стадии, когда пытаюсь интуитивно в это дело въехать

приходится терпеть IDE vs emacs

Google
Misha
31.08.2017
21:45:53
или чо там

Евгений
31.08.2017
21:46:00
Ну вот это как раз разделение между "хочу продукт" и "хочу из говна и палок сам слепить"
Ну типа рынок это инструмент принуждения и универсализации, в 2к17 это вроде всем известно

Index
31.08.2017
21:46:20
> сегодня ты пишешь под Haskell и радуешься свистоперделкам в IDE Я умею если надо взять vim и херачить код без тулинга вообще. Это не отменяет мой пойнт, что это от бедности, а не каефная жизнь

Евгений
31.08.2017
21:46:36
Даниил
31.08.2017
21:46:40
не так-то @int_index в целом прав

я в виме пишу тупо потому что для моего железа продукты JetBrains слишком тяжёлые

не, ну вим мне нравится конечно

режимы редактирования, вот это вот всё

но тем не менее, go to def и всякие рефакторинги мне тоже нравятся

и да, в виме оно вечно кривое

Index
31.08.2017
21:49:20
Agda точно сразу с ide поставляется
Agda это хороший пример, где IDE и компилятор делают примерно одни и те же люди, поэтому оно не ломается и удобно, и даже заставило меня Emacs установить. Ну и весь их юникод без agda-input просто никак.

Ilya
31.08.2017
21:49:26
вимом пользуются не только программисты на языках, куда не завезли божественную IDEA или где вы там пишете

Index
31.08.2017
21:50:43
> в чём бедность состоит? Это я уже писал. Из-за того, что оно сразу не спроектировано монолитно, каждый компонент делает экстра-работу и сломан по-своему.

Ilya
31.08.2017
21:51:12
почему это проблема, если работает всё равно быстро?

Index
31.08.2017
21:51:20
На двух файлах может быть

Евгений
31.08.2017
21:52:31
Я пишу в виме, потому что я админ и пишк в основном конфиги. Мне ваши idea не всрались, а как работать без в строенного в редактор ed я не понимаю. Была в ed подсветка синтаксиса -- я бы в голом ed хуячил

Мне проблемы программистов непонятны

Ilya
31.08.2017
21:53:05
> в чём бедность состоит? Это я уже писал. Из-за того, что оно сразу не спроектировано монолитно, каждый компонент делает экстра-работу и сломан по-своему.
симметрично: из-за того, что IDE спроектирована монолитно, она делает лишнюю работу даже там, где этого не требуется

Google
Евгений
31.08.2017
21:53:46
Хочешь -- пиши в виме, хочешь в имаксе, хочешь -- поставь idea или напиши ещё один редактор на js. Какой смысл в редакторосрачах? Только новичков отпугиваете

Alex
31.08.2017
21:54:11
надо спейсмакс как нибудь попробовать

Ilya
31.08.2017
21:55:14
Не вижу как этот вывод сделан
у IDE не модульная система, ты же сам говоришь. Всё integrated

Index
31.08.2017
21:55:21
Ну?

Поэтому компоненты могут реюзать результаты работы друг друга, лишнего не делать

Ilya
31.08.2017
21:55:41
как минимум памяти сразу отжирает с запасом

Index
31.08.2017
21:55:45
Распарсил один раз — все компоненты с AST могут работать, например

Ilya
31.08.2017
21:55:46
раз в 10

были где-то эти сравнения

Даниил
31.08.2017
21:56:03
что значит у IDE не модульная система

взять ту же IDEA

kana
31.08.2017
21:56:09
я вижу, тут конфа по хаскелю, подскажите, пробовать спейсмакс или чистый имакс самому собирать?

Ilya
31.08.2017
21:56:26
Даниил
31.08.2017
21:56:45
это значит integrated
и? почти весь функционал реализуется плагинами

Index
31.08.2017
21:56:45
как минимум памяти сразу отжирает с запасом
память это не extra work, это как раз запомненный результат прошлой работы

Ilya
31.08.2017
21:57:06
и? почти весь функционал реализуется плагинами
если почти весь фукнционал реализуется плагинами, тогда чем отличается от вима?

авторами плагинов?

Index
31.08.2017
21:57:29
Ничем, я про бесплагиновый искоробочный UX

Даниил
31.08.2017
21:57:31
если почти весь фукнционал реализуется плагинами, тогда чем отличается от вима?
тем что IDE предоставляет фреймворк для написания плагинов, которые работают не с текстом, а с кодом

Google
Даниил
31.08.2017
21:57:49
например в IDEA есть единый механизм рефакторингов, автокомплита и т.д.

IDEA предоставляет фреймворк

Index
31.08.2017
21:57:57
С плагинами в IDE начинается та же история, что все работает медленно и в целом не работает

Даниил
31.08.2017
21:57:59
плагин использует его

Index
31.08.2017
21:58:01
Как плагин Haskell в IDEA

им же нельзя пользоваться

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

Даниил
31.08.2017
21:58:15
и в результате всё однообразно, а не как захотела левая пятка автора плагина

вот кстати

есть Rust-плагин для IDEA

там используют не racer и RLS которые используют всякие редакторы для автокомплита

а у них там свой парсер

ну в смысле реализованный прямо в плагине

Index
31.08.2017
22:00:44
Во, та же болезнь

Даниил
31.08.2017
22:00:46
и нужно это чтобы соответствовать механизмам автокомплита и т.д. общим для IDEA

как-то так

Index
31.08.2017
22:01:02
свой парсер

Даниил
31.08.2017
22:01:10
так ведь так и нужно

благодаря этому оно и "интегрированное"

Google
Даниил
31.08.2017
22:01:36
что соответствует тому как сделано во всех остальных плагинах

Index
31.08.2017
22:01:46
Да нет никакого шанса, что какой-нибудь кастомный парсер правильно распарсит все, что и GHC, например

Для Rust может и прокатит, я не знаю какая там грамматика

Но это опять дубликация логики. Компилятор по одному парсит, IDE по-другому.

В итоге имеем что имеем.

Даниил
31.08.2017
22:02:45
падажжи

ты же сам за IDE топил

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

теперь ты резко переобулся

чёт я не понимаю

Index
31.08.2017
22:03:41
Я не знаю как в IDEA сделано. Я знаю, что если я беру Visual Studio и пишу код на C#, то у меня не будет кода, который компилятором принимается, а IDE ломает

И я знаю, что в Haskell такое на каждом шагу, если лепить псевдоIDE из всякого тулинга типа HLint и hasktags

Даниил
31.08.2017
22:04:04
так и в IDEA такое маловероятно в популярном плагине

потому что если такое найдут то сразу пофиксят

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

Index
31.08.2017
22:05:32
Или может в архитектуре. Вот будь у GHC парсер отдельным компонентом, который можно в тулинге реюзать, и жили б все хорошо, а не с haskell-src-exts

Даниил
31.08.2017
22:05:52
ну вот опять-таки

практика показывает

Misha
31.08.2017
22:06:09
я почему-то думал, что ghc-mod или кто там именно так и сделан, как api к ghc, разве нет?

Даниил
31.08.2017
22:06:11
что лучшие IDE используют свои парсеры

Index
31.08.2017
22:06:47
Даниил
31.08.2017
22:07:06
вот Qt Creator емнип юзает Clang для автокомплита ну и автокомплит там так себе я CLion не пробовал но шо-то мне подсказывает там автокомплит намного круче

Страница 376 из 1551