Constructive function theory