VD>Но в списке не нужны два, пусть даже приблизительно одинаково хороших ООЯ. И не нужно два статических ФЯ.

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