Существуют ли (в т.ч. канувшие в Лету) языки/системы программирования, ЯВНО накладывающие ограничение на объём модуля программы. Словом ЯВНО подразумевается, что ограничение заложено изначально и концептуально (а не "извините, что пока компилятор не совладевает с модулем более 256MB исходного текста, но в бу.."), и не мегабайтами, а количеством оперераторов/предикатов.. или каких-то иных исполняемых единиц кода. В общем концепция мелких обозримых модулей (подпрограмм, функций, объектов, предикатов).
Однако сложность создаваемой программы не предполагает к-л изначальных ограничений (за счёт неограниченного количества модулей и возможности построения иерархических отношений меж модулями).

Ну и какой ненормальный будет создавать языки программирования изначально закладывая такие дурацкие ограничения? Как мне кажется, все ограничения связаны с железом и компиляторами (тут тоже от железа и кривизны рук программиста - создателя компилятора).

не понял смысла вопроса

S.Q.Lapp Ray Adams
Близкий пример (с соседеней оперы). В ячейку электронной таблицы можно вбить 256 или может где-то в пару раз боьше СИМВОЛОВ.
Но у электронной таблицы есть и своя специфика, я же подразумеваю некий ЯЗЫК.

А железо то нас неотступно ограничивает килобайтами по L1 и сотнями килобайт по L2. Но смысл может обнаружится в чём-то другом (кроме укладки в кэш). Кусочки короткого кода намного быстрее возвращают упраление. То есть программа получается более приспособленной для реакции на внешние события (а в многопроцессорной обработке - событиями могут быть результаты других процессоров).

И вообще я не идеи пытаюсь проталкивать, а узнать "что было и бывает".