Andrii
Просто, например, в Agda есть команда, которая при компиляции генерирует ещё и вимовский файл с подсветкой синтаксиса
Andrii
Ну это я знаю , я переключался , видел в туториале , а дальше типа что?
Далее hjkl для выделения того, что надо. Потом можно в регистр записать, можно в буфер... Да, регистры ещё одна боль в Visual Studio... Вообще, как программировать в нетьюринг полной среде?
Jsx707
Visual studio удобна , там куча инструментов для рефакторинга , отладки , куча индикаторов и прочего , например за потреблением следить
Jsx707
IDE для профессионалов , там наверное есть макросы и настройка гибкая , стоит только открыть настройки
Andrii
Visual studio удобна , там куча инструментов для рефакторинга , отладки , куча индикаторов и прочего , например за потреблением следить
Ну... отладка gdb у меня там свои питновские скрипты. Я помню эти страдания в Visual Studio, когда программировал го, и у меня были битовые маски 19x19 в виде массива uint64_t можно было моск сломать. В gdb настроил преттипринтер и можно вывести маску в красивом виде. За какие потреблением следить?
Omarov
У кого есть снег, ребят?
Andrii
Как сохранить выделенный текст в регистр, или дописать в регистр? По-моему в VS вообще нету регистров
Дмитрий
У кого есть снег, ребят?
У меня лежит уже месяц
afalex
У кого есть снег, ребят?
- , ещё ни разу не было в этом полугодии
afalex
Поддержу
Что за город?
Omarov
Что за город?
Хадыженск. Юг
afalex
Астрахань. Тоже типа юг
Jsx707
Как сохранить выделенный текст в регистр, или дописать в регистр? По-моему в VS вообще нету регистров
Эххх... Консольные и открытые инструменты зачастую всегда более гибкие ....
Jsx707
Астрахань. Тоже типа юг
Я тоже оттуда .... Из Астрахани ....
Jsx707
IDE для непрофессионалов, потому что их тупо больше :)
Та её все подряд ставят , в каждом туториале Visual studio .....
Omarov
Астрахань. Тоже типа юг
Это да. У вас летом иногда жарче чем у нас.
Andrii
Не было необходимости в регистры лазить в vs. Хз)
Правильно, открывай окно, копируй текст в буфер, иди в окно, вставляй его там
afalex
Это да. У вас летом иногда жарче чем у нас.
Летом у нас жарче чем где либо(
Jsx707
А ваще у неё реально есть крутые плюсы , ради которых её можно юзать
Omarov
afalex
В калмыкии пожарче
Калмыкия, Астрахань и Волгоград
Omarov
afalex
В калмыкии пожарче
В целом одинаковый климат имеют. В Калмыкии просто пустырей побольше
Andrii
Ещё IDE сильно навязывает свой стиль кодирования. Например, когда я пишу логи, я использую автодополнение при наборе в строковых константах, чтобы вставлять там имена переменных. В общем, IDE надо ещё и осваивать, пока что иногда приходится туда заходить, но сильно подгорает там...
Jsx707
Andrii , ты человек старой закалки , тебе вот это всё нахер не надо , тебя если не будет устраивать какая либо ОС , ты пойдёшь напишешь свою 😂 Ты привык к гибким консольным легковестным инструментам , где самому можно всё настроить , у тебя почти всё автоматизировано , везде свои скрипты и всё в этом роде , а тут вот грамоздкая IDE , куча всяких ненужных индикаторов , кнопочек , всё раскидано , непонятно где и чё .... Короче , не для тебя это
Omarov
В целом одинаковый климат имеют. В Калмыкии просто пустырей побольше
Ну у вас там некисло. Но там и посуше. У меня влажность сильно играет роль
Jsx707
Ещё IDE сильно навязывает свой стиль кодирования. Например, когда я пишу логи, я использую автодополнение при наборе в строковых константах, чтобы вставлять там имена переменных. В общем, IDE надо ещё и осваивать, пока что иногда приходится туда заходить, но сильно подгорает там...
А хотя зачем тебе IDE? У тебя и так всё настроено под себя А если на собеседовании , ну твоя задача по сути просто написать , а где и как ваша наплевать по сути , ну некомфортно может , но нормально
Jsx707
Ну и когда у тебя гигабайт исходников, то IDE-шки часто жутко лагали...
Вот это моя мечта отчасти ... Написать огромное кол-во исходников , с кучей папок , конфигов , документацией ..... Я ваще люблю всё по файлам раскидывать Но пока мне только грызть гранит науки
Omarov
Я жил в Адыгее немного в детстве)
Так ты и не хочешь угадывать, где я служил из трех, представленных тобой мест
Andrii
А хотя зачем тебе IDE? У тебя и так всё настроено под себя А если на собеседовании , ну твоя задача по сути просто написать , а где и как ваша наплевать по сути , ну некомфортно может , но нормально
В общем-то не проблема, просто начинает подгорать... Просто есть память в пальцах, и у тебя они сами делают то, что ты подумал. А получается хрень. Поэтому ты не только решаешь задачу, сколько говоришь себе: стоп, это не вим, думай, какую клавишу нажимаешь...
Omarov
Ну да
Ну очевидно, Волгоград)
afalex
Ну очевидно, Волгоград)
Вообще равновероятно
Omarov
Вообще равновероятно
Я 2010-й не забуду никогда. Год физической подготовки в армии
Omarov
15 км летом в противогазе
Jsx707
Ну и когда у тебя гигабайт исходников, то IDE-шки часто жутко лагали...
Ну смотря какие и на чём написанные) Например Clion откинется нахер ибо написан на Java..... И там ещё куча подсистем подгружается , потом он будет это всё анализировать , грузить конфиги .... А если есть плагины , то ваще будет весело .... Visual studio вроде чуть полегче , но это особо не спасает ......
Omarov
В Волгограде
Глеб
Хадыженск. Юг
а в это время года имеет смысл прогуляться у вас в горах?) думаю съездить
Jsx707
Вы же видели , что гитхаб натворил? Пишешь комментарий того , что код должен делать , а плагин тебе это пишет целиком
afalex
Как по мне, это должны делать хуки гита
Это гемор) там же не только выравнивание текста
Andrii
Это гемор) там же не только выравнивание текста
Наоборот, код приводится к удобному тебе форматированию, а потом возвращается обратно :)
afalex
Надо выровнить и оставить
Andrii
Так возвращаться обратно не надо)
Почему не надо? Есть стандарты кодирования у каждого проекта.
Andrii
Например, Linux Kernel имеет свои стандарты, Quallcomm драйвера свои стандарты, какие-то тулзы либы третьи...
Omarov
а в это время года имеет смысл прогуляться у вас в горах?) думаю съездить
Самые прикольные места - это на дороге с адлера в горки-город, там драконья щель, там монастырь, там водопады, там форель возле ног. А потом в горки-город летом и там снег, горы.
Omarov
Места невероятные
Andrii
Ещё я не искал, но есть траблы с аббревиатурами во многих IDE
afalex
Почему не надо? Есть стандарты кодирования у каждого проекта.
Ctrl k d - выравнивает отступы, и меняет немного форматирование некоторых конструкций. Типа инициализатор new Foo { Bar = Baz, Baz = Baz } раскроет в { Bar = Baz; Baz = Baz }, что чуть более читабельней. Ctrl k d не нарушает стандартов кодирования
Andrii
Но какой-то стандарт кодирования всё-таки используется?
afalex
Где ?
Andrii
Длина отступов, положение фигурной скобки, ...
afalex
В c# строго регламентированно это . И студия это тоже знает
afalex
Длина отступов, положение фигурной скобки, ...
В конкретных проектах такое не задаётся
Andrii
new Foo { Bar = Bar; Baz = Baz } или new Foo { Bar = Bar; Baz = Baz }
Andrii
В c# строго регламентированно это . И студия это тоже знает
Не только C#, есть и другие языки, другие либы
afalex
C# Coding Conventions | Microsoft Docs https://docs.microsoft.com/en-us/dotnet/csharp/fundamentals/coding-style/coding-conventions
afalex
Про отступы уж хз, есть ли там, не думаю о таких вещах)
Andrii
Про отступы уж хз, есть ли там, не думаю о таких вещах)
Есть, но это язык подконтрольный одной организации. А вот в C++ уже over 9000+ разных стандартов кодирования
afalex
.NET Platform · GitHub https://github.com/dotnet?WT.mc_id=dotnet-35129-website
Andrii
C#?
Мне С# мильон лет не нужо́н :)
afalex
Я не о том нужен ли он тебе. Код платформы и фреймворков открыт
Andrii
Я вот хочу как-то так писать takeWhile : ∀ {ℓ} {A : Set ℓ} → (A → 𝔹) → 𝕃 A → 𝕃 A takeWhile _ [] = [] takeWhile f (x :: xs) = if f x then x :: takeWhile f xs else [] takeWhile∘repeat : ∀ {ℓ} {A : Set ℓ} (n : ℕ) (a : A) (f : A → 𝔹) → f a ≡ tt → takeWhile f (repeat n a) ≡ repeat n a takeWhile∘repeat 0 a f p = refl takeWhile∘repeat (suc n) a f p with keep (f a) ... | ff , p' rewrite p' = 𝔹-contra p ... | tt , p' rewrite takeWhile∘repeat n a f p | p' = refl И тут возникаю траблы, как в VS сделать мнемоники для используемых уникодных символов.
Omarov
Шо это