Abstract: In this paper described is a functional programming language（FP）based on expressi- ons,the foundation of which is Lambda calculus and SKI calculus.This language enjoys many ma- thematics properties such as high order,referential transparency,side-effect free,etc..This is a non Von Neumann style language which has very high level parallelism.and may be run in multiprocessor computer.