make - декларативный, прямой аналог prolog'а.

sh, как это ни удивительно, местами ленивый язык. Как Хаскель. Поэтому его нельзя заменить Питоном или OCaml'ом или ещё чем энергичным - они менее выразительны.

Т.е. у sh и Haskell есть прямое совпадение конструкций

cat file | grep pattern | wc -l

length $ filter predicate $ list

Они оба ленивые и могут работать на потоках.

Т.е. для sh можно в качестве file использовать какой-нибудь /dev/urandom, а в Хаскельном примере в качестве list что-то вроде [1,2...] - бесконечный список. И оба, в общем, это как-то проглотят. А если написать что-то более осмысленное, даже будут чего-то делать.

В то же время, для всяких энергичных языков типа Питона нужно городить специальные циклы и т.д.