SAFAL (Statistical Analysis Functions Application Language) is a pure functional programming language. SAFAL programs are direct translations of the mathematical formulae. Each statement is a direct translations of the corresponding mathematical equation by retaining the algebraic syntax and replacing the mathematical (Greek or other) symbols by names (ASCII text). SAFAL program defines what to compute, but not how. Algorithm in SAFAL generates executable program and schedules optimal processes for the specified number of processors. The system design of SAFAL is highly modular, where each function joins kernel like a software equivalent of "plug and play" hardware. More functions can be added without changing rest of the system. An initial implementation with only a few functions demonstrates the power of SAFAL with several example programs for mean, variance, linear regression, logistic regression, and synthetic estimator for small areas.