Samuel
@samuel.fm
incredibly powerful having a programming language for each name
![Haskell Brooks Curry (/ˈhæskəl/; September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic, whose initial concept is based on a paper by Moses Schönfinkel,[1] for which Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. Named for him are three programming languages: Haskell, Brook, and Curry, and the concept of currying, a method to transform functions, used in mathematics and computer science
The section about the programming languages named for him is highlighted](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:p2cp5gopk7mgjegy6wadk3ep/bafkreidrvzrssdfzqvdk3iudm4pz7fjcsyj7lcporrnek2rk7moe6efuva "Haskell Brooks Curry (/ˈhæskəl/; September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic, whose initial concept is based on a paper by Moses Schönfinkel,[1] for which Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. Named for him are three programming languages: Haskell, Brook, and Curry, and the concept of currying, a method to transform functions, used in mathematics and computer science
The section about the programming languages named for him is highlighted")
1 5 34 1 5 34Samuelnot even Turing has this, although in fairness “Alan” would be a pretty lame name for a language. “Mathison” however has potential
2 10
Michel BestaatWhen will we be able to code in Harmful?