News for hackers. Stuff that matters.

A comment on Currying. Parent comment

Re:Currying by ReleaseCandidat on Sunday April 07, 2024 @03:59AM (#39959092)
Just a remark, currying is nothing that is special to Haskell, it's a general ML "speciality" including the syntax for function application of not using parens.

Which is because lambda calculus does not have functions with more than one parameter, I guess.

[ Parent | on HN ]
Re:Currying by kerkeslager on Sunday April 07, 2024 @04:58AM (#39959391)
Yeah, I'd attribute this to the lambda calculus, for sure.

And in the lambda calculus, it makes a ton of sense, because it allows you to break proofs into smaller chunks more easily.

But in a general-purpose programming language where the proofs are automated, I think this just makes the code less communicative of programmer intent.

[ Parent | on HN ]