Здравствуйте, Nuzhny, Вы писали:

N>Новый язык от Microsoft research, в котором нет циклов — Bosque.

Я когда на реддите увидел ссылку и открыл их описание языка, подумал, что первое апреля. Слов важных много, а особых отличий от обычных языков, кроме переименования некоторых ключевых слов, на первый взгляд и не видно. Надо подробнее почитать.

Обзор языка.

The big three
Marron's technical paper explores potential sources of programming language complexity that Bosque tries to deal with. But he says eliminating mutable state, loops, and reference equality represent the big three.

Занятно. У нас в компании есть свой in-house ЯП, там как раз те же три свойства присутствуют. Есть всякие массивы и ленивые последовательности, есть filter/map/fold etc., а циклов в явном виде нет, и рекурсии одно время тоже не было, да и сейчас не используется. Но только все равно, достаточно же сделать

arr.length |> iota |> map(i => ...)

, и вот уже считай цикл по i вдоль массива arr...