1) Модульной парадигме это не противоречит если компилировать в slim-binaries Михаэля Франца (http://www.ics.uci.edu/~franz/Site/pubs ... H10497.pdf).

2) CASE по константам сама компилируется либо в прыжок по индексу -- О(1), либо в бинарный поиск -- О(ln(N)). Ну, или, по крайней мере,должнакомпилироваться в это хозяйство.