constructive theory of functions