2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 языки высого уровня и декларации
Сообщение15.03.2010, 13:28 
Здравствуйте.
Сейчас декларативное программирование предоставляет самый высокий уровень абстракции?

Вот в русском sicp на странице номер 40 есть математическое
определение квадратного корня(sqrt(x)=y, где y>=0 и y^2=x). Вот я и
подумал, что может быть "абстрактнее"(кавычки, потому как я не уверен,
что абстрактность я употребляю к месту), чем это.
Решил посоветоваться с колективом

 
 
 
 Re: языки высого уровня и декларации
Сообщение15.03.2010, 15:36 
Аватара пользователя
Есть язык Piet, абстрактнее него я языка не встречал http://ru.wikipedia.org/wiki/Piet

 
 
 
 Re: языки высокого уровня и декларации
Сообщение15.03.2010, 17:10 
Kitozavr в сообщении #297967 писал(а):
Есть язык Piet, абстрактнее него я языка не встречал http://ru.wikipedia.org/wiki/Piet


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

Приведу еще один пример:
Вы приходите домой после школы и говорите маме: "Я хочу есть". Это один уровень абстракции. При другом уровне абстракции, ниже этого, вам бы пришлось, например, руководить мамой пошагово. Возьми нож в правую руку обхватив рукоятку 2, 3, 4, 5 пальцами с одной стороны и 1 с другой. Чисти картошку. И тд, и тп.

Сейчас более ясна моя мысль?

 
 
 
 Re: языки высого уровня и декларации
Сообщение15.03.2010, 17:20 
Аватара пользователя
Да я понял. В первом случае это будет "программирование" мамы на языке высокого уровня, а во втором -на ассемблере (бррр...). Но я так и не понял смысл вашего первого сообщения.

 
 
 
 Re: языки высого уровня и декларации
Сообщение15.03.2010, 21:39 
Аватара пользователя
panzerito в сообщении #297996 писал(а):
Вы приходите домой после школы и говорите маме: "Я хочу есть".

Функциональные языки? В том же SICP авторы пропогандируют функциональный стиль программирования (на примере Scheme).

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group