В том то и дело, что это не странная херня. Теории, на которых построена разного рода функциональщина, для вычислений являются примерно тем же, чем реляционная модель является для баз данных.