CD
почему
ну смотри, мы придумали свой новый консольный интерфейс баша, который буквально за тебя пишет код нажатием кнопок (и назвали его нортон командир)
Size: a a a
2020 August 14
p
ну смотри, мы придумали свой новый консольный интерфейс баша, который буквально за тебя пишет код нажатием кнопок (и назвали его нортон командир)
он не умеет угадывать твои мысли
p
а идрис руководствуется типчиками
CD
он не умеет угадывать твои мысли
так если код можно и так написать за тебя, зачем нажатия кнопок?
p
так если код можно и так написать за тебя, зачем нажатия кнопок?
foo: List a -> List a
foo x = ?append xs
тут навожишь на ?append, нажимаешь create top level function и он генерирует тебе:
append: List a -> List a
foo x = ?append xs
тут навожишь на ?append, нажимаешь create top level function и он генерирует тебе:
append: List a -> List a
CD
foo: List a -> List a
foo x = ?append xs
тут навожишь на ?append, нажимаешь create top level function и он генерирует тебе:
append: List a -> List a
foo x = ?append xs
тут навожишь на ?append, нажимаешь create top level function и он генерирует тебе:
append: List a -> List a
ну ты понял меня про нортон коммандер как новый более лучший баш?
p
так если код можно и так написать за тебя, зачем нажатия кнопок?
потому что идрис не умеет угадывать твои мысли, где ты захочешь сгенерировать функцию, где тебе нужен case split по аргументу, где тебе нужна локальная функция и т.д.
p
ну ты понял меня про нортон коммандер как новый более лучший баш?
нет
CD
нет
ну смотри, нортон командер за тебя генерирует команды командной строки, тебе даже не приходится их писать!
p
ну смотри, нортон командер за тебя генерирует команды командной строки, тебе даже не приходится их писать!
я хз что за нортон коммандер и какое отношение к программированию он имеет
CD
а ооооо
p
ну и
CD
ну вот, видишь, и баша не нужно
p
не понял ничего
CD
не понял ничего
ну почему кто-то вообще пользуется командной строкой, а не мышью все операции производит?
p
ну ты можешь хоткеями это делать
p
через консоль по идеи тоже, но не нужно
DF
Командной строкой пользуются примерно по той же причине что и языком си. Потому что юникс это печатная машинка
CD
Это не важно. это называется IDE. Языки программирования изначально расчитаны на то, что код будет написан текстом, а это потому, что так его быстрее написать, чем накликать