языки высого уровня и декларации

[panzerito]

Здравствуйте.
Сейчас декларативное программирование предоставляет самый высокий уровень абстракции?

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

[Kitozavr]

Есть язык Piet, абстрактнее него я языка не встречал http://ru.wikipedia.org/wiki/Piet

[panzerito]

Kitozavr в сообщении #297967 писал(а):

Есть язык Piet, абстрактнее него я языка не встречал http://ru.wikipedia.org/wiki/Piet

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

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

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

[Kitozavr]

Да я понял. В первом случае это будет "программирование" мамы на языке высокого уровня, а во втором -на ассемблере (бррр...). Но я так и не понял смысл вашего первого сообщения.

[meduza]

panzerito в сообщении #297996 писал(а):

Вы приходите домой после школы и говорите маме: "Я хочу есть".

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