глупость программирования на естественном языке
написано Dijkstra — важный чел в теории комп сайнс, не фанат ИИ и “интуитивного” подхода
читая это, ощущение, что он сейчас рассказывает про LLMs и vibe coding ✨
с самого начала программирования некоторым не нравилось, что нужен формализм — мол, хочется просто сказать компьютеру “что сделать”, как человеку
тут Dijkstra жёстко и аргументированно объясняет, почему это наивно и не работает: ▫️естественный язык — неточный, двусмысленный, легко уходит в бессмыслицу ▫️если сделать язык “проще для человека”, это делает его сложнее для машины (и в итоге — для всех) ▫️люди в целом всё хуже владеют своим языком — даже для задач, где он вполне уместен ▫️формализм — не неудобство, а привилегия: он позволяет точно выражать мысли и проверять их ▫️если бы всё началось с “естественного программирования”, то всё равно пришлось бы изобретать формальные языки — просто позже и с большим трудом
пишет в 1980 а ощущение как будто видит настоящие, интересно его мнение сейчас 😳