Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
(Update: renamed to Symmetric Interaction Calculus.) This is another post about the Abstract Algorithm. In it, I’ll explain why there is a mismatch between it and the λ-Calculus. I’ll develop a new language on which that mismatch doesn’t exist, the Symmetric Interaction Calculus (SIC). I’ll briefly