Ну мне предлагали писать на Java в Орегоне(?), а я больше как-то писал саму JVM. И в тот момент, было поступили другие предложения более близкие к профилю. Хотя Scala очень интересно. Я кстати, по теории категорий читал интересную статью из Кибернетического Сборника. Интересно сейчас есть какой-нибудь аналог КС (на русском языке)?