Constructive Aspects of Functional Analysis