ну это зависит уже не от чистоты, а от языка) чем сильнее система типов, тем лучше она покажет. сравни функцию на хаскеле и на питоне одну и ту же. в хаскеле по сигнатуре будет почти всегда понятно чо эта функция делает.
Это один аспект, а есть ещё когда мы видим как работает алгоритм, просто смотря на него