Кто читал всякие type theory и lambda calculus - можете ли вы сказать что время было не зря потрачено? Или лучше бы вы чем-то другим занялись? Ну, там, допустим что то практичное выучить или там компьютер саенс.
но тогда этот вопрос сугобо индивидуальный имхо. Может тебе понравится это читать самому и даже если тебе это не придется применять в реальной жизни. А может не понравится и ты скажешь гавно какое. И найдешь книгу по душе.
Со своего опыта могу сказать, что лишних знаний не бывает.
Vasiliy
Doge
Кто читал всякие type theory и lambda calculus - можете ли вы сказать что время было не зря потрачено? Или лучше бы вы чем-то другим занялись? Ну, там, допустим что то практичное выучить или там компьютер саенс.
Это и есть computer science, если что. Это как раз та вещь в программировании, которая и делает его частью математики.
Ayrat
Ayrat
это прям компутер сайнс BY DEFINITION
Sergey
эх а могли бы в экселе и на листочке считать какие то типы лямбды
Ayrat
то есть тут или читать генг оф фор, которые к саенсу не имеют отношения, это просто набор практик (не самых лучших, но какие есть)
или читать про лямбда калкулус, которая прям вот везде
Doge
эх а могли бы в экселе и на листочке считать какие то типы лямбды
Так типы и лямбды возникли не из-за желания считать.
Ayrat
Нет, это всё ненужно!
о, ты точно знаешь, я в сомнениях. Райдер на маке обновил до 2020.1
он же уже на неткоре и ничего не надо менять?
Ayrat
то есть я вот ВЕРЮ в то что райдер стал быстрее, но неясно как подтвердить
Vasily
Вот в венду пока райдеровский неткор не завезли
Dr. Friedrich
о, ты точно знаешь, я в сомнениях. Райдер на маке обновил до 2020.1
он же уже на неткоре и ничего не надо менять?
Я думаю, он на моне, надо переключиться
Dr. Friedrich
Но если честно хз
Vasily
НЕГОДЯИ
Ayrat
в настройках ХЕР
Dr. Friedrich
Ты ткни хелп, там нету переключалки?
Ayrat
вот я ввёл в преференсес - runtime и там вот прям натурально хуй нарисовали
Dr. Friedrich
Ваще, я бы просто дерево процессов смотрел, по нему всё видно — кто на моне, а кто нет.
Ayrat
зонятно
Ayrat
ща проверю
Vasily
В целом, 2020.1 радует. Спасибо добрым @fvnever и @auduchinok . Убрались некоторые мерзкие баги
Vasily
Типа добавления open
Dr. Friedrich
Но я, признаться, не самый главный специалист по маку
Ayrat
моны в процессах нет. наверное это хороший знак
Vasily
Еще бы настроечку, чтобы неймспейс по умолчанию в новом файле делалло
Ayrat
тоже нет =(
Dr. Friedrich
Так-то темплейт для файлов ты можешь сам поменять в настройках, и дописать туда что угодно
Dr. Friedrich
Но мб ты что-то общественно полезное хочешь?
Doge
Хмм... надо на CLion новый перелезть, но как обычно, страшно
Vasily
Но мб ты что-то общественно полезное хочешь?
Я хочу при создании нового fs файла, чтобы по умолчанию прописывался дефолтный namespace, а не модуль по названию файла
Dr. Friedrich
Я хочу при создании нового fs файла, чтобы по умолчанию прописывался дефолтный namespace, а не модуль по названию файла
У тебя один файл — один неймспейс?
Ayrat
А дотнеткор есть?
ебать я тупой. я щас 20 минут искал райдер 10ю разными командами, а райдер был и не запущен!!11
Ayrat
я уж начал сомневаться в себе!11
Vasiliy
ебать я тупой. я щас 20 минут искал райдер 10ю разными командами, а райдер был и не запущен!!11
КАК ТАК!!! УЖЕ 13 по мск а у тебя Райдер не запущен?!
Vasily
У меня один проект - один неймспейс
Vasily
Просто по умолчанию райдер вставляет строчку module namespace.filename
Vasily
А это херня
Vasiliy
у тебя теперь IDEA запущена?
Ayrat
/Applications/Rider.app/Contents/lib/ReSharperHost/macos-x64/dotnet/dotnet exec --runtimeconfig /Applications/Rider.app/Contents/lib/ReSharperHost/JetBrains.ReSharper.Host.netcore.runtimeconfig.json /Applications/Rider.app/Contents/lib/ReSharperHost/JetBrains.ReSharper.Host.exe --Port=57147
Ayrat
короче из под неткора он работает по умолчанию, всё ок
Dr. Friedrich
Пример просто покажи, как надо.
Ayrat
НАВЕРНОЕ
Andrew
@vshapenko там есть кастомные темплейты, я ими пользовался
Andrew
Вроде можно сделать как ты хочешь
Ayrat
моны в процессах нет
Dr. Friedrich
Dr. Friedrich
Не, мы так не делаем.
Dr. Friedrich
Наверняка мона ещё может стартовать по каким-то поводам (для дебага моны, возможно?), но просто так — нет.
Ayrat
я кстати не знал что есть dotnet exec
Ayrat
я думал там просто dotnet …
Ayrat
интересные настройки
host-options:
--additionalprobingpath <path> Path containing probing policy and assemblies to probe for.
--depsfile <path> Path to <application>.deps.json file.
--runtimeconfig <path> Path to <application>.runtimeconfig.json file.
--fx-version <version> Version of the installed Shared Framework to use to run the application.
--roll-forward <value> Roll forward to framework version (LatestPatch, Minor, LatestMinor, Major, LatestMajor, Disable)
--additional-deps <path> Path to additional deps.json file.
--list-runtimes Display the installed runtimes
--list-sdks Display the installed SDKs
Vasily
Vasily
А хочу просто namespace Mtproto
Vasily
А ниже я сам напишу module Test =
Ayrat
я уверен это должно быть можно в темплитах поменять
Ayrat
я вот не хочу неймспейс по умолчанию
Dr. Friedrich
А хочу просто namespace Mtproto
Ок, тогда поди в темплейт и удали там то, что после точки :)
Vasily
$MODULE_OR_NAMESPACE$ $NAMESPACE$.$MODULE$
$END$
Vasily
Что тут надо удалить?
Ayrat
чот сомнительно
Vasily
И все равно будет module
Vasily
$MODULE_OR_NAMESPACE$
Ayrat
какой-то у вас странный темплитинг
Ayrat
прям неочевидный
Vasily
Он ебанутый слегка