А
Я бы сказал, что сложно — описать хоть сколько-то формально сколько-нибудь содержательные требования к ним. А дальше-то всё просто...
ну вот в этом то и суть
Size: a a a
2020 May 07
AT
ну вот в этом то и суть
Ну вот для этого и пытаются применить ИИ. 😊
А
Ну вот для этого и пытаются применить ИИ. 😊
Формальное описание даже для ИИ всё равно будет настолько формальным, что нужны будут программисты этого самого формального описания
AT
Формальное описание даже для ИИ всё равно будет настолько формальным, что нужны будут программисты этого самого формального описания
ИИ применяют для того чтобы обойти процесс формализации и как-то угадать "чего хотел заказчик".
А
ИИ применяют для того чтобы обойти процесс формализации и как-то угадать "чего хотел заказчик".
ну на такое даже естественный интеллект далеко не всегда способен
PS
ИИ хорош тем, что о нем можно часами рассуждать безо всякой практической пользы :)
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
СЛ
ИИ хорош тем, что о нем можно часами рассуждать безо всякой практической пользы :)
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
Второй круг. Видя что сделано в этой области - можно попробовать сделать более качественное решение.
Низкоуровневая разработка довольно часто бывает нужна... взять бы тех же свидетелей Оберона. Этот культ не просто так же существует.
Низкоуровневая разработка довольно часто бывает нужна... взять бы тех же свидетелей Оберона. Этот культ не просто так же существует.
PS
Второй круг. Видя что сделано в этой области - можно попробовать сделать более качественное решение.
Низкоуровневая разработка довольно часто бывает нужна... взять бы тех же свидетелей Оберона. Этот культ не просто так же существует.
Низкоуровневая разработка довольно часто бывает нужна... взять бы тех же свидетелей Оберона. Этот культ не просто так же существует.
Чтож, если история повторяется, то, следовательно, и время нового витка разнообразных 4GL/5GL не за горами :)
А
ИИ хорош тем, что о нем можно часами рассуждать безо всякой практической пользы :)
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
Какая-то мода на простоту языка.
А
Даже если эта простота негативно сказывается на собственно процессе написания кода
p
Какая-то мода на простоту языка.
Люди не хотят напрягаться думая о монадах, вот и стремятся к простоте когда не думаешь, чето пишешь и деньги зарабатываешь.
А
опять эти ваши монады
А
не все языки в мире функциональные
А
хотя на самом деле новый функциональный язык тоже не помешал бы
YS
ИИ хорош тем, что о нем можно часами рассуждать безо всякой практической пользы :)
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
А мне вот интереснее, почему уже немодно проектировать выскоуровневые ЯП. Новые многочисленные улучшенные варианты C/C++, Go и проч. это и близко не уровень стареньких APL, SETL, SNOBOL, Prolog... А ведь это тоже скромный, но путь к автоматизации программирования.
Ну, не только. Результаты-то есть, но в довольно узких областях.
PS
Yaroslav Schekin
Ну, не только. Результаты-то есть, но в довольно узких областях.
В компиляторном чате мы, кажется, уже все соответствующие результаты давно обсудили :)
M
не все языки в мире функциональные
Пора бы уже что то практичное в области π-исчислений сделать. А то все фунциональшина с линейными типами, функциональщина с завтипами. Уже никого этой функциональщиной не удивишь)
p
хотя на самом деле новый функциональный язык тоже не помешал бы
зачем? существующих предостаточно
сказал человек который пишет фп язык
сказал человек который пишет фп язык
p
не все языки в мире функциональные
а что вы подразумевали? кмк это естественное разделение - императивный языки простые, функциональные сложные (в изучении)
YS
В компиляторном чате мы, кажется, уже все соответствующие результаты давно обсудили :)
А ссылка есть? Или ключевые слова (если там было, что обсуждать)?