Без заголовка

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