Oberon space

at() - это как раз с проверкой индексов, а operator [] -- без.

хм, и правда о_О http://www.cplusplus.com/reference/vector/vector/at/

std::vector::at
      reference at (size_type n);
const_reference at (size_type n) const;
Access element
 Returns a reference to the element at position n in the vector.

 The function automatically checks whether n is within the bounds of valid elements in the vector, throwing an out_of_range exception if it is not (i.e., if n is greater than, or equal to, its size). This is in contrast with member operator[], that does not check against bounds.

Что-то Go быстрее, чем я думал о_О чой-то он так???

Кстати, у тебя ведь в файле https://github.com/valexey/bubble_test/blob/master/ocaml/bubble_safe.ml используется в одном месте unsafe-операция:
let tmp = Array1.unsafe_get arr j in
то есть это тоже не совсем safe версия.

И ещё, в версии на КП нет двух распечаток массива. Хоть массив и небольшой, но всё же скорость программы на КП завышенная получается...

Сериал "Экспансия (Пространство)" (The Expanse) весьма и весьма годный. Такая темная научная фантастика, которую относят к категории твёрдой -- в нём постарались тщательно соблюдать законы физики, что редкость для сериалов и фильмов на космическую тематику. К сожалению, пока только один сезон, история расказана далеко не полностью, так что ждёмс... http://www.lostfilm.tv/browse.php?cat=260

Предлагаю вернуть обсуждения из того чата на этот форум )))

Во я тупой. Тык это он и есть. (судя по другим текстам)

Так профиль вот куда ведёт: http://www.inr.ac.ru/~ftkachov/vteninn/

В общем, Romiras, не верь в правильность решения, принятого лауреатом премии Тьюринга.
Верь valexey'ю 

Никому не верь -- сам думай. А веру оставь уделом религиозных людей...

Что-то типа ленивого парсера получается. Комбинаторы парсеров в помощь (Haskell'ная библиотека Parsec)...