Type Theory And Functional Programming Meaning