Lambda Calculus via C# (5) List https://weblogs.asp.net:443/dixin/lambda-calculus-via-csharp-5-list [FP & LINQ via C# series][Lambda Calculus via C# series]In lambda calculus and Church encoding, there are various ways to represent a list with anonymous functions.Tuple as list nodeWith Church pair, it is easy to model Church list as a linked list, where each list node is a a Church paiMon, 13 Nov 2023 13:06:00 GMThttps://weblogs.asp.net:443/dixin/lambda-calculus-via-csharp-5-listLINQ via C#C#.NETLambda CalculusFunctional ProgrammingChurch EncodingChurch ListsLambda Calculus via C# (4) Tuple and Signed Numeral https://weblogs.asp.net:443/dixin/lambda-calculus-via-csharp-4-tuple-and-signed-numeral [FP & LINQ via C# series][Lambda Calculus via C# series]Besides modeling values like Boolean and numeral, anonymous function can also model data structures. In Church encoding, Church pair is an approach to use functions to represent a tuple of 2 items.Church pair (2-tuple)A tuple can beFri, 10 Nov 2023 13:05:00 GMThttps://weblogs.asp.net:443/dixin/lambda-calculus-via-csharp-4-tuple-and-signed-numeralLINQ via C#C#.NETLambda CalculusFunctional ProgrammingChurch EncodingChurch PairsLambda Calculus via C# (3) Numeral, Arithmetic and Predicate https://weblogs.asp.net:443/dixin/lambda-calculus-via-csharp-3-numeral-arithmetic-and-predicate [FP & LINQ via C# series][Lambda Calculus via C# series]Anonymous functions can also model numerals and their arithmetic. In Church encoding, a natural number n is represented by a function that calls a given function for n times. This representation is called Church Numeral.Church numeralTue, 07 Nov 2023 13:05:00 GMThttps://weblogs.asp.net:443/dixin/lambda-calculus-via-csharp-3-numeral-arithmetic-and-predicateLINQ via C#C#.NETLambda CalculusFunctional ProgrammingChurch EncodingChurch Numeral