Luke Hoban • 2/25/2020

Untyped Lambda Calculus, Church Numerals, and the Y Combinator in Go

This technical article demonstrates how to represent the untyped Lambda Calculus within Go's type system using a recursive function type. It details the implementation of Church-encoded booleans and numerals, arithmetic operations, and the Y Combinator for recursion, including practical examples like factorial and Fibonacci functions.

0 comments

#functional programming #go #Y Combinator