Касательно ГЦ - ГЦ иногда сильно влияет на алгоритмику и структуры данных.
По поводу последних - вот, например, без ГЦ приходится синт. дерево в ASIS заворачивать в объекты-методы. Я в Обероне могу просто отпустить гулять по системе некое дерево из расширяемых записей и не париться.