Насколько я помню, Скала удовлетворяет всем вашим требованиям. Да, типизация там статическая, но именно она и позволяет задать тип бесконечной рекурсии, и вполне нормально с этим живёт. Советую курс progfun на coursera.
Ответ написан
Комментировать
Комментировать
Оценили как «Нравится»
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
