May. 22nd, 2018

juan_gandhi: (Default)
Church encoding of algebraic data types. Kind of obvious, but cool.
An ADT is a sum of products, so there.

Can also express it via combinators. Like, how does a binary tree look like via SKI, eh. Or just SK. Or just X (this one is brainfuck, I guess).

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78910111213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 8th, 2025 12:03 am
Powered by Dreamwidth Studios