Mon premier blog

Types and Programming Languages Benjamin C. Pierce
Publisher: MIT

No special software is required on your server to make this language function properly. Question from Pierce's Types and Programming Languages. On page 56 at the top of the page he has the reduction: ( λx . X ) )( u r ) evaluates to u r ( λx . I have been working on developing a new type of programming language over the last few months. It is not possible to interact with a database with these types of coding languages but you can interact with a server. I even took a few cheap-o “what programming language are you?” type quizzes (I, in fact, created this “cheap-o” quiz). How can one expect a type system to be useful if it can't even infer the correct type of the most basic expressions? I find it remarkable that pretty much all commonly used programming languages gets this simple type wrong. €�how to interpret performance benchmarks?”, et ad nauseam.