История изменений

Естественный язык хорош только для общения с другими человеками, для всех остальных случаев он очень плох,

Да, но природа ничем лучшим нас не наградила, увы.

поэтому человек придумал например математику и кучу научных и профессиональных диалектов

Не столько поэтому, а потому что хотелось осмыслить бытие. Цель достойная и сложный язык тут неизбежен. А какая цель преследуется, что делает неизбежность раста?

много раз пытались сделать системы основанные на естественном языке, но ни одна ни прижилась, включая и успешный в свое время Cobol

Да, потому что всё-таки для машин естественный язык не подходит, нужен компромисс. А эти коболисты и ПЛщики как раз упарывались в естественность. Упарывание в абстракции как на расте - того же сорта извращение и ждёт его тоже самое что и КОБОЛ.

пример эволюции, когда побеждает не самый лучший

Я и не говорю что он лучший из возможных, но он достаточно хорош, потому и выиграл в отборе.

Какая естественность в голом AST? По моему он очень далек от естественного языка и мышления

При чём тут AST? Главное в лиспе это символы и repl, т.е. самая что ни есть естественная форма для человека - общение путём составления предложений. Настолько естественная, что на нём даже пытались изучать и имитировать мышление человека (лингвистический подход к ИИ).

хаскель и даже более простой OCaml уже точно не пытаются даже быть удобными машине

математическое мышление

Математическое мышление это и есть «машина», определённая чёткой, формальной логикой. Просто тут в базе непривычная «машина Чёрча» вместо привычной Машины Тьюринга.

И лисп и форт также оказались по большому счету не нужны

Потому что кроме соображений «хорошести языка» есть соображения экономики. Если буржуям выгодно чтобы ты копал уголь урановым ломом, ты будешь копать уголь урановым ломом. Ситуация стала немного выправляться когда появились излишества, вроде колоссальной вычислительной мощи, безразмерной памяти и т.д. Начался ренессанс языков с уклоном в естественность. Даже как-то Лисп ожил.

Сейчас какая нибудь узкая ниша может дать работу очень приличному количеству людей.

Вот тут я соглашусь. В таких узких нишах раст вполне может найти применение (привет КОБОЛ). Вопрос только в том, где эти ниши? Системное программирование оккупировано Си и желать там чего-то другого странно, потому что никаких дополнительных абстракций там не надо, а важно полное отражение языком архитектуры машины. В прикладном программировании выбор очень широкий, не представляю зачем там могут понадобиться уникальные для раста концепции и свойства.

Естественный язык хорош только для общения с другими человеками, для всех остальных случаев он очень плох,

Да, но природа ничем лучшим нас не наградила, увы.

поэтому человек придумал например математику и кучу научных и профессиональных диалектов

Не столько поэтому, а потому что хотелось осмыслить бытие. Цель достойная и сложный язык тут неизбежен. А какая цель преследуется, что делает неизбежность раста?

много раз пытались сделать системы основанные на естественном языке, но ни одна ни прижилась, включая и успешный в свое время Cobol

Да, потому что всё-таки для машин естественный язык не подходит, нужен компромисс. А эти коболисты и ПЛщики как раз упарывались в естественность. Упарывание в абстракции как на расте - того же сорта извращение и ждёт его тоже самое что и КОБОЛ.

пример эволюции, когда побеждает не самый лучший

Я и не говорю что он лучший из возможных, но он достаточно хорош, потому и выиграл в отборе.

Какая естественность в голом AST? По моему он очень далек от естественного языка и мышления

При чём тут AST? Главное в лиспе это символы и repl, т.е. самое что ни есть естественная форма для человека - общение путём составления предложений. Настолько естественная, что на нём даже пытались изучать и имитировать мышление человека (лингвистический подход к ИИ).

хаскель и даже более простой OCaml уже точно не пытаются даже быть удобными машине

математическое мышление

Математическое мышление это и есть «машина», определённая чёткой, формальной логикой. Просто тут в базе непривычная «машина Чёрча» вместо привычной Машины Тьюринга.

И лисп и форт также оказались по большому счету не нужны

Потому что кроме соображений «хорошести языка» есть соображения экономики. Если буржуям выгодно чтобы ты копал уголь урановым ломом, ты будешь копать уголь урановым ломом. Ситуация стала немного выправляться когда появились излишества, вроде колоссальной вычислительной мощи, безразмерной памяти и т.д. Начался ренессанс языков с уклоном в естественность. Даже как-то Лисп ожил.

Сейчас какая нибудь узкая ниша может дать работу очень приличному количеству людей.

Вот тут я соглашусь. В таких узких нишах раст вполне может найти применение (привет КОБОЛ). Вопрос только в том, где эти ниши? Системное программирование оккупировано Си и желать там чего-то другого странно, потому что никаких дополнительных абстракций там не надо, а важно полное отражение языком архитектуры машины. В прикладном программировании выбор очень широкий, не представляю зачем там могут понадобиться уникальные для раста концепции и свойства.

Естественный язык хорош только для общения с другими человеками, для всех остальных случаев он очень плох,

Да, но природа ничем лучшим нас не наградила, увы.

поэтому человек придумал например математику и кучу научных и профессиональных диалектов

Не столько поэтому, а потому что хотелось осмыслить бытие. Цель достойная и сложный язык тут неизбежен. А какая цель преследуется, что делает неизбежность раста?

много раз пытались сделать системы основанные на естественном языке, но ни одна ни прижилась, включая и успешный в свое время Cobol

Да, потому что всё-таки для машин естественный язык не подходит, нужен компромисс. А эти коболисты и ПЛщики как раз упарывались в естественность. Упарывание в абстракции как на расте - того же сорта извращение и ждёт его тоже самое что и КОБОЛ.

пример эволюции, когда побеждает не самый лучший

Я и не говорю что он лучший из возможных, но он достаточно хорош, потому и выиграл в отборе.

Какая естественность в голом AST? По моему он очень далек от естественного языка и мышления

При чём тут AST? Главное в лиспе это символы и repl, т.е. самое что ни есть естественная форма для человека - общение путём составления предложений. Настолько естественная, что на нём даже пытались изучать и имитировать мышление человека (лингвистический подход к ИИ).

хаскель и даже более простой OCaml уже точно не пытаются даже быть удобными машине

математическое мышление

Математическое мышление это и есть «машина», определённая чёткой, формальной логикой. Просто тут в базе непривычная «машина Чёрча» вместо привычной Машины Тьюринга.

И лисп и форт также оказались по большому счету не нужны

Потому что кроме соображений «хорошести языка» есть соображения экономики. Если буржуям выгодно чтобы ты копал уголь урановым ломом, ты будешь копать уголь урановым ломом. Ситуация стала немного выправляться когда появились излишества, вроде колоссальной вычислительной мощи, безразмерной памяти и т.д. Начался ренессанс языков с уклоном в естественность. Даже как-то Лисп ожил.

Сейчас какая нибудь узкая ниша может дать работу очень приличному количеству людей.

Вот тут я соглашусь. В таких узких нишах раст вполне может найти применение (привет КОБОЛ). Вопрос только в том, где эти ниши? Системное программирование оккупировано Си и желать там чего-то другого странно, потому что никаких дополнительных абстракций там не надо, а важно полное отражение языком архитектуры машины. В прикладном программировании выбор очень широкий, не представляю зачем там могут понадобится уникальные для раста концепции и свойства.

Естественный язык хорош только для общения с другими человеками, для всех остальных случаев он очень плох,

Да, но природа ничем лучшим нас не наградила, увы.

поэтому человек придумал например математику и кучу научных и профессиональных диалектов

Не столько поэтому, а потому что хотелось осмыслить бытие. Цель достойная и сложный язык тут неизбежен. А какая цель преследуется, что делает неизбежность раста?

много раз пытались сделать системы основанные на естественном языке, но ни одна ни прижилась, включая и успешный в свое время Cobol

Да, потому что всё-таки для машин естественный язык не подходит, нужен компромисс. А эти коболисты и ПЛщики как раз упарывались в естественность. Упарывание в абстракции как на расте - того же сорта извращение и ждёт его тоже самое что и КОБОЛ.

пример эволюции, когда побеждает не самый лучший

Я и не говорю что он лучший из возможных, но он достаточно хорош, потому и выиграл в отборе.

Какая естественность в голом AST? По моему он очень далек от естественного языка и мышления

При чём тут AST? Главное в лиспе это символы и repl, т.е. самое что ни есть естественная форма для человека - общение путём составления предложений. Настолько естественная, что на нём даже пытались изучать и имитировать мышление человека (лингвистический подход к ИИ).

хаскель и даже более простой OCaml уже точно не пытаются даже быть удобными машине

математическое мышление

Математическое мышление это и есть «машина», определённая чёткой, формальной логикой. Просто тут в базе непривычная «машина Чёрча» вместо привычной Машины Тьюринга.

И лисп и форт также оказались по большому счету не нужны

Потому что кроме соображений «хорошести языка» есть соображения экономики. Если буржуям выгодно чтобы ты копал уголь урановым ломом, ты будешь копать уголь урановым ломом. Ситуация стала немного выправляться когда появились излишества, вроде колоссальной вычислительной мощи, безразмерной памяти и т.д. Начался ренессанс языков с уклоном в естественность. Даже как-то Лисп ожил.

Сейчас какая нибудь узкая ниша может дать работу очень приличному количеству людей.

Вот тут я соглашусь. В таких узких нишах раст вполне может найти применение. Вопрос только в том, где эти ниши? Системное программирование оккупировано Си и желать там чего-то другого странно, потому что никаких дополнительных абстракций там не надо, а важно полное отражение языком архитектуры машины. В прикладном программировании выбор очень широкий, не представляю зачем там могут понадобится уникальные для раста концепции и свойства.