Да нет - просто у них нет лимита - они действительно могут сожрать всю память - но по крайней мере ocamlевый расширяет кучу только если она оказывается заполнена слишком сильно (там есть параметр - заполненность кучи - Gc.space_overhead) -

http://caml.inria.fr/pub/docs/manual-ocaml/libref/Gc.html

которым можно управлять, как и прочими параметрами Gc - причем можно их менять на ходу. Жабий GC после общения с ocaml'евским у меня честно говоря вызывает изрядное раздражение - у тех давно уже и инкрементальный сборщик нормально работал.