Универсальный и простой? Ты так не шути. В гораздо больше подходит под это описание, да и С тоже. Да даже перл.
Я, кстати, не говорил, что надо изучать язык под алгоритм. Но многие формальные вещи куда лучше изучать на хаскелле. А Паскаль я бы вообще выкинул
Паскаль, как наследник алгола (и оберона?) Как раз является довольно универсальным в плане типов и концепций, дальше это уже больше специализированные языки (хотя конечно не правило). Так что выбор его , по-моему, вполне оправдан