Andrii
Просто, например, в Agda есть команда, которая при компиляции генерирует ещё и вимовский файл с подсветкой синтаксиса
Jsx707
Jsx707
Visual studio удобна , там куча инструментов для рефакторинга , отладки , куча индикаторов и прочего , например за потреблением следить
Jsx707
IDE для профессионалов , там наверное есть макросы и настройка гибкая , стоит только открыть настройки
afalex
Omarov
У кого есть снег, ребят?
Andrii
Как сохранить выделенный текст в регистр, или дописать в регистр? По-моему в VS вообще нету регистров
Дмитрий
Omarov
afalex
afalex
Астрахань. Тоже типа юг
Jsx707
Andrii
afalex
afalex
Jsx707
А ваще у неё реально есть крутые плюсы , ради которых её можно юзать
afalex
Omarov
Omarov
afalex
В калмыкии пожарче
В целом одинаковый климат имеют. В Калмыкии просто пустырей побольше
Andrii
Ещё IDE сильно навязывает свой стиль кодирования. Например, когда я пишу логи, я использую автодополнение при наборе в строковых константах, чтобы вставлять там имена переменных. В общем, IDE надо ещё и осваивать, пока что иногда приходится туда заходить, но сильно подгорает там...
Jsx707
Andrii , ты человек старой закалки , тебе вот это всё нахер не надо , тебя если не будет устраивать какая либо ОС , ты пойдёшь напишешь свою 😂
Ты привык к гибким консольным легковестным инструментам , где самому можно всё настроить , у тебя почти всё автоматизировано , везде свои скрипты и всё в этом роде , а тут вот грамоздкая IDE , куча всяких ненужных индикаторов , кнопочек , всё раскидано , непонятно где и чё .... Короче , не для тебя это
Andrii
Andrii , ты человек старой закалки , тебе вот это всё нахер не надо , тебя если не будет устраивать какая либо ОС , ты пойдёшь напишешь свою 😂
Ты привык к гибким консольным легковестным инструментам , где самому можно всё настроить , у тебя почти всё автоматизировано , везде свои скрипты и всё в этом роде , а тут вот грамоздкая IDE , куча всяких ненужных индикаторов , кнопочек , всё раскидано , непонятно где и чё .... Короче , не для тебя это
Ну и когда у тебя гигабайт исходников, то IDE-шки часто жутко лагали...
afalex
Jsx707
Ещё IDE сильно навязывает свой стиль кодирования. Например, когда я пишу логи, я использую автодополнение при наборе в строковых константах, чтобы вставлять там имена переменных. В общем, IDE надо ещё и осваивать, пока что иногда приходится туда заходить, но сильно подгорает там...
А хотя зачем тебе IDE? У тебя и так всё настроено под себя
А если на собеседовании , ну твоя задача по сути просто написать , а где и как ваша наплевать по сути , ну некомфортно может , но нормально
afalex
Andrii
А хотя зачем тебе IDE? У тебя и так всё настроено под себя
А если на собеседовании , ну твоя задача по сути просто написать , а где и как ваша наплевать по сути , ну некомфортно может , но нормально
В общем-то не проблема, просто начинает подгорать... Просто есть память в пальцах, и у тебя они сами делают то, что ты подумал. А получается хрень. Поэтому ты не только решаешь задачу, сколько говоришь себе: стоп, это не вим, думай, какую клавишу нажимаешь...
Omarov
Ну да
Ну очевидно, Волгоград)
afalex
Omarov
15 км летом в противогазе
Jsx707
Ну и когда у тебя гигабайт исходников, то IDE-шки часто жутко лагали...
Ну смотря какие и на чём написанные)
Например Clion откинется нахер ибо написан на Java..... И там ещё куча подсистем подгружается , потом он будет это всё анализировать , грузить конфиги .... А если есть плагины , то ваще будет весело ....
Visual studio вроде чуть полегче , но это особо не спасает ......
Omarov
В Волгограде
afalex
Jsx707
Andrii
Глеб
Хадыженск. Юг
а в это время года имеет смысл прогуляться у вас в горах?) думаю съездить
Omarov
Jsx707
Вы же видели , что гитхаб натворил?
Пишешь комментарий того , что код должен делать , а плагин тебе это пишет целиком
afalex
afalex
Надо выровнить и оставить
Andrii
Например, Linux Kernel имеет свои стандарты, Quallcomm драйвера свои стандарты, какие-то тулзы либы третьи...
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
}
afalex
Andrii
Andrii
afalex
C# Coding Conventions | Microsoft Docs
https://docs.microsoft.com/en-us/dotnet/csharp/fundamentals/coding-style/coding-conventions
afalex
Про отступы уж хз, есть ли там, не думаю о таких вещах)
afalex
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
Omarov
Шо это