Implementation and Application of Functional Languages