Why Type Soundness Matters in Functional Programming Languages
This article outlines the typing rules for two minimal languages, Fun and Core, focusing on ...
hackernoon.com
-
-
hackernoon.com
What Codata, Control Flow, and Logic Teach Us About Programming
This article breaks down the λμμ̃-calculus using simple examples to explain key ideas in logic, ...
-
hackernoon.com
What Functional Programmers Can Learn from Sequent Calculus
This article highlights five key insights from the 𝜆𝜇𝜇˜-calculus, particularly the treatment of evaluation contexts ...