akrisanov,

Согласен с
@temerev:
Язык программирования, который требует чтения более двух научных статей в год для работы с ним, ещё не созрел для продакшна.

Есть 2 языка, что на слуху, но массовыми не станут: Scala и Haskell. Полезны в качестве разминки для мозгов, и может быть в каких-то узких применениях.

Bobuk как-то рассказывал: пришел к нему один, и говорит
- А почему бы нам на Scala не попробовать некоторые проекты сделать?
- Да пожалуйста, найдешь еще 20 человек у нас в Яндексе, дам добро
Ушел, пришел через вермя погрустневший:
- Нашел только еще двоих согласных...

Охотно верю. Смотрел и сам, очень интересный язык. Но чтобы писать на ней не по джавовски, не мучительно роясь в книжках вскипая мозгом, думаю мне нужно бросить работу, и месяца 3-4 ее осваивать, 5 дней в неделю по 8 часов.
Смущает и количество, а главное - уровень глюков в самом компиляторе, не говоря о библиотеках.
И если ко мне подойдет кто - а давай с Джавы на Скалу переведем-начнем проект? Руководство почти согласно, отвечу:
- Не, риск конечно дело благородное, но я Скалы не знаю, и не гений чтобы в боевых условиях ее изучать.

Android'у настолько нет сейчас замены (разве что в MeeGo появится хорошая JVM), что даже если производителям железа придется отстегивать и Ораклу чуть-чуть, и MS, - все равно он будет жить.

ZyK_BotaN,

Не знаю чего не хватает в Haskell, я прочитал пару страниц по Haskell и - "в топку". ИМХО, совсем уж "разминка для разминки". Эдакий Brainfuck но на полном серьезе и академический.

Баловство же с Scala полезнее, навыки приобретаются, как можно использовать идеи ФП, даже в языке не имеющем поддержки ФП.
Но конечно вывод типов, да, без соответствующего компилятора - никак...