VS
@jowney , каков твой возраст, если не секрет?
Size: a a a
2020 April 17
VS
Я ставлю на 19 лет
VP
Кто читал всякие type theory и lambda calculus - можете ли вы сказать что время было не зря потрачено? Или лучше бы вы чем-то другим занялись? Ну, там, допустим что то практичное выучить или там компьютер саенс.
но тогда этот вопрос сугобо индивидуальный имхо. Может тебе понравится это читать самому и даже если тебе это не придется применять в реальной жизни. А может не понравится и ты скажешь гавно какое. И найдешь книгу по душе.
Со своего опыта могу сказать, что лишних знаний не бывает.
Со своего опыта могу сказать, что лишних знаний не бывает.
DS
Кто читал всякие type theory и lambda calculus - можете ли вы сказать что время было не зря потрачено? Или лучше бы вы чем-то другим занялись? Ну, там, допустим что то практичное выучить или там компьютер саенс.
Это и есть computer science, если что. Это как раз та вещь в программировании, которая и делает его частью математики.
AH
Кто читал всякие type theory и lambda calculus - можете ли вы сказать что время было не зря потрачено? Или лучше бы вы чем-то другим занялись? Ну, там, допустим что то практичное выучить или там компьютер саенс.
но ведь тайп тиори и есть компутер сайнс
AH
это прям компутер сайнс BY DEFINITION
С
эх а могли бы в экселе и на листочке считать какие то типы лямбды
AH
то есть тут или читать генг оф фор, которые к саенсу не имеют отношения, это просто набор практик (не самых лучших, но какие есть)
или читать про лямбда калкулус, которая прям вот везде
или читать про лямбда калкулус, которая прям вот везде
Dv
это прям компутер сайнс BY DEFINITION
Нет, это всё ненужно!
DS
эх а могли бы в экселе и на листочке считать какие то типы лямбды
Так типы и лямбды возникли не из-за желания считать.
AH
Нет, это всё ненужно!
о, ты точно знаешь, я в сомнениях. Райдер на маке обновил до 2020.1
он же уже на неткоре и ничего не надо менять?
он же уже на неткоре и ничего не надо менять?
С
Так типы и лямбды возникли не из-за желания считать.
ты чет шутку не распознал)
AH
то есть я вот ВЕРЮ в то что райдер стал быстрее, но неясно как подтвердить
VS
Вот в венду пока райдеровский неткор не завезли
Dv
о, ты точно знаешь, я в сомнениях. Райдер на маке обновил до 2020.1
он же уже на неткоре и ничего не надо менять?
он же уже на неткоре и ничего не надо менять?
Я думаю, он на моне, надо переключиться
Dv
Но если честно хз
VS
AH
Я думаю, он на моне, надо переключиться
Так это, где индикатор
AH
в настройках ХЕР
Dv
Так это, где индикатор
Где-то в волшебном месте