Немного дилетантское, зато беспристрастное и прагматичное сравнение нескольких ЯП. Автор 0install решил переписать свое творение с питона, поскольку ему надоело бороться с багами, вызванными динамичностью языка (многие из них возникли при переходе на тройку и всё еще продолжают вылезать), к тому же не всегда хватает скорости. Был проведен сравнительный анализ нескольких кандитатов:
http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0i...
http://roscidus.com/blog/blog/2013/06/20/replacing-python-round-2/
Коротко:
- Python - отличная выразительность, удобный деплой, популярность. Но медленный и никаких статических проверок.
- OCaml - победитель. Почти все возможности питона, но быстрый, с хорошим отловом ошибок. GUI пишется проще чем на питоне. http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain
- Rust - уверенный лидер. Отброшен из-за незрелости.
- Go - уверенный аутсайдер.
- ATS - потрясающая скорость, но слишком нечеловеческий язык.
- Haskell - хороший вариант, но идеологически далек от питона, извращеннее окамла, у библиотек нестабильный API.
- C# - неплох, но жирный и медленный.
Автор, до того не знавший окамла, теперь работает с ним за деньги.