Concept

Currying

Related lectures (6)

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Covers currying, stepwise applications, and the history of the concept.

Explores higher-order functions, environments, evaluation using substitution, and examples like twice factorial.

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.