Сложно сказать…. Можно сидеть на JRuby и вообще не видеть Java. Если сделана хорошая обвязка поверх классов, которые надо из неё использовать, то JRE не видно. Собственно, когда-то я приделал к KNIME модуль на JRuby. Живой до сих пор, но пользуется ли им кто-то - не знаю.

а вот Julia приделать к Java - это проблема. Тоже пробовал.

Кто знает, как такое сделать: есть Tuple вида (n1, ... nk). Хочется итерироваться по i1 от 0 до n1 - 1, ... ik от 0 до nk-1

ну это он по tuple пройдет, а мне надо, чтобы индексы все прошли в соответствии с заданным tuple

то есть в случае (1,2,3,4,5)
надо чтоб i1 пробежал от 0 до 0
i2 от 0 до 1
...
i5 от 0 до 4

у меня есть просто дискретная функция из Z_n1 x ... Z_nk в Z, я хочу её вывести в виде таблицы, при этом k не фиксированное вообще говоря

я хочу её вывести в обычном табличном виде:
какое значение на (0, ... , 0)
(0, ..., 0, 1)
и так далее по всем пройтись )

a = (1,2,3,4,5)
for k in a,
    i in 0:k
        show(i)
end

или я не понимаю

он в другом порядке перебирает ) он перебирает числа

а мне надо по tuple итерироваться, т.е. должен быть итератор

(0, 0, ... , 0)
(0, 0, ... , 1)
...
(0,0, ..., nk - 1)
(0, 0, ... ,1 , 0)
(0, 0, ... , 1, 1)
...

То есть это должно быть теоретически в таком виде:

for i1 in 0 : n[1] - 1
for i2 in 0 : n[2] - 1
...
for ik in 0 : n[k] - 1
# do something with (i1, i2, ..., ik)

Есть CartesianIndices, он он видимо начинает с 1 нумерацию

Нашёл решение

CartesianIndices(tuple) .- CartesianIndex(1,1,1)

Ненадолго погружался в этот язык, общие субъективные впечатления:
1. Erlang VM - очень нишевый инструмент для программирования коммутаторов AXD301(уже не используются). В плане этой задачи Erlang выглядит очень крутым, но в плане современной промышленной разработки - куча странных решений (супервизоры, отсутствие нативных строк, та же мнезия), которые не хотелось бы тащить с собой.
2. Elixir позиционирует себя как ФП-язык, но синтаксис для этого крайне странный:
a) Необходимость ставить точку перед вызовом колбэков (Lisp 2)
б) & как способ конвертирования функции в лямбду
в) Указание арности в аргументах
3. Агрессивный вытесняющий планировщик, в ущерб производительности. К примеру в Go ушли от такого решения.
4. Отсутсвие возможности делать шаред-стейт.
5. Медленная арифметика.
6. Макросы доставляют проблемы.
7. Вакансий мало.

ИЗ ПЛЮСОВ:
1. Модель акторов - это круто.
2. Хорошая интроспекция.
3. Растущее (но пока немногочисленное сообщество).

ИТОГ: Я бы не стал в это инвестировать своё время.

По факту питон хорош своей экосистемой, и большим количеством обучающих материалов, а julia хороша тем, что язык обходит некоторые питоновские проблемы.

А в какой FP лучше погружаться в первый раз, и с каких задач?

Попробуй тогда уже Kotlin - они в последнее время пытаются влезть в Data Science. Активно пилят для этого библиотеки, типа этой:
https://github.com/Kotlin/kotlin-numpy (официальный репозиторий, между прочим). Хотя Julia однознано круче.