The Howdy Glossary

Curry notation is a system used for defining and analyzing different types of functions, named after logician Haskell Curry. The system helps to make function definitions clearer by explicitly showing all argument locations within the formula. Named after mathematician Haskell Curry, who founded this concept in mathematics in 1923 with his original work Combinatory Logic (published in 1930). In computer science, it's particularly useful when working with programming languages supporting higher-order functions or when dealing with untyped lambda calculus expressions.