Fun! Reminds me of a little tangent I went down when I realized the untyped lambda calculus could be embedded within the single Go type `type V func(v V) V`, in

Fun! Reminds me of a little tangent I went down when I realized the untyped lambda calculus could be embedded within the single Go type `type V func(v V) V`, including a Y Combinator, church numerals and factorial function with no values other than instances of type V. https://medium.com/@lukeh/untyped-lambda-calculus-church-numerals-and-the-y-combinator-in-go-e123d076f99d https://medium.com/@lukeh/untyped-lambda-calculus-church-num... https://gist.github.com/lukehoban/0ec2a3dbbb9a13338d338a3fbbb039ff#file-lambda_test-go https://gist.github.com/lukehoban/0ec2a3dbbb9a13338d338a3fbb...