After a few failed attempts to begin to understand the Lambda calculus, this is the one that finally "stuck" with me. Looking forward to future articles in this

After a few failed attempts to begin to understand the Lambda calculus, this is the one that finally "stuck" with me. Looking forward to future articles in this series! This part: > encoding a datatype with lambdas means representing the datatype as functions supporting all of its operations was the key in being able to make practical sense of its purpose.