|
|
|
mrgloom |
|
|||
Опытный Профиль Группа: Участник Сообщений: 829 Регистрация: 8.6.2011 Репутация: нет Всего: нет |
теоретический вопрос.
1.допустим есть описание алгоритма словестное\умственное. 2.есть его описание на более строгом скажем математическом языке или каком то высокоуровневом. 3.и есть его реализация. функциональные языки вроде как постулируют "что я хочу получить", а "а не как я это получаю путем последовательности действий". так вот возник вопрос ко второму шагу, какие тут ограничения, т.е. если я не хочу думать на уровне файлов, циклов и т.д., а например пишу "получить все файлы в папке", а компилятор ищет в репозитории уже реализованных алгоритмов(без разницы на чем написанных) подходящий алгоритм для моей системы. т.е. кончено понятно, что такой язык будет не гибкий и будет скорее недопонимае пишешь одно-получаешь не совсем то. но вопрос в том какой предел на "высокоуровневость" языка? |
|||
|
||||
baldina |
|
|||
Эксперт Профиль Группа: Завсегдатай Сообщений: 3433 Регистрация: 5.12.2007 Где: Москва Репутация: нет Всего: 101 |
||||
|
||||
mrgloom |
|
|||
Опытный Профиль Группа: Участник Сообщений: 829 Регистрация: 8.6.2011 Репутация: нет Всего: нет |
ну видимо нет, всё таки должен существовать парсер который однозначно воспринимает, то что ему сказали, а для человеческого это не так. тем более это не самый ёмкий удобный всегда способ скорее всего. Это сообщение отредактировал(а) mrgloom - 16.8.2012, 12:39 |
|||
|
||||
baldina |
|
|||
Эксперт Профиль Группа: Завсегдатай Сообщений: 3433 Регистрация: 5.12.2007 Где: Москва Репутация: нет Всего: 101 |
||||
|
||||
mrgloom |
|
|||
Опытный Профиль Группа: Участник Сообщений: 829 Регистрация: 8.6.2011 Репутация: нет Всего: нет |
ну вообще изначально я имел ввиду из-за того что мы пишем код программы "что я хочу получить", а "а не как я это получаю путем последовательности действий" не возможно ли по "описанию" алгоритма находить код в неком общем репозитории?
например получить все чётные X из множества мы лишь описываем, что хотим получить. конечно можно это заменить на get_all_X_numbers() и найти по описанию и скачать библиотеку, но возможно в разных библиотеках под этим понимается разное. вообщем я имею ввиду что тут необходим некий лаконичный язык, но однозначно интерпретируемый, пока это похоже подходит только для математики. |
|||
|
||||
baldina |
|
||||||||
Эксперт Профиль Группа: Завсегдатай Сообщений: 3433 Регистрация: 5.12.2007 Где: Москва Репутация: нет Всего: 101 |
с одной стороны, есть декларативные языки, которые как раз позволяют писать программу, объясняя что нужно получить, не описывая сам алгоритм (Пролог, например).
с другой стороны, существуют "черные ящики", где хранятся реализации алгоритмов, это - библиотеки. в т.ч. есть библиотеки, в которых есть функция "получить все файлы в папке". организовать хранилище "черных ящиков", в которых реализованы задачи (более высокоуровневые, чем простые алгоритмы), возможно, но есть затруднение: что бы их применять требуется унифицированный интерфейс. применяя библиотеки, унификацию интерфейса обеспечивает программист, вручную. в данном случае, как я понял, речь идет о мета-языке, который переводит некоторое (почти человеческое) описание в формальные требования, а в используемой библиотеке каждая функция снабжена формальным описанием. что ж, это возможно. но, боюсь, идея сводится на нет необходимостью учить такой язык, т.е. все трудности современного (в т.ч. декларативного) программирования никуда не исчезают. вообще-то современные языки этому имхо во многом удовлетворяют:
конечно, в каждом языке (и библиотеке) свои правила и подпрограммы (функции, классы), но ведь правила придется учить и для вашего мета-языка Это сообщение отредактировал(а) baldina - 17.8.2012, 17:50 |
||||||||
|
|||||||||
baldina |
|
|||
Эксперт Профиль Группа: Завсегдатай Сообщений: 3433 Регистрация: 5.12.2007 Где: Москва Репутация: нет Всего: 101 |
кстати, были неоднократные попытки (CLU, С++) включать в язык спецификации требований (к типам и подпрограммам). правда, целью было увеличения правильности программ
|
|||
|
||||
mrgloom |
|
|||
Опытный Профиль Группа: Участник Сообщений: 829 Регистрация: 8.6.2011 Репутация: нет Всего: нет |
||||
|
||||
msAvtor |
|
|||
Новичок Профиль Группа: Участник Сообщений: 4 Регистрация: 19.6.2014 Репутация: нет Всего: нет |
существуют нечеткие множества, теория возможностей, нейронные сети...
к тому же разговор о пределе. предел это горизонт. |
|||
|
||||
dorcasmelda |
|
|||
Новичок Профиль Группа: Участник Сообщений: 5 Регистрация: 11.12.2019 Репутация: нет Всего: нет |
Purchase healthcare research paper services and healthcare coursework writing services since students find help when they visit Healthcare Essay Writing Services.
https://researchpapers247.com/healthcare-es...iting-services/ |
|||
|
||||
Правила форума «Функциональные языки: общие вопросы» | |
|
Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Void. |
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Функциональные языки: общие вопросы | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |