Functional Library for Object-oriented Programs