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

INT>К сожалению, в OCaml даже слишком много императивщины. В том числе и в библиотеках.

Это жизнь. Небыло бы там "императивщины", небыл бы Окамл сравнимым по проивзодительности с ИЯ.