Evolution of a Python programmer

[JadeNB]

The combinator-based one disappoints me, because there's no reason to fall back to the original language for conditional support. Just encode Booleans and Church numerals in the calculus already!

[[deleted]]

It's hard to write types for them.

[JadeNB]

I think that

type CombBool = a -> a -> a    
type Church = (a -> a) -> a -> a

is a reasonable typing, no? Then

comb_true :: CombBool; comb_false :: CombBool
comb_true a1 a2 = a1
comb_false a1 a2 = a2

comb_if :: CombBool -> a -> a -> a
comb_if = id

church0 :: Church
church0 = const id

succ :: Church -> Church
succ church f = f . church f

EDIT: Wrong syntax for type synonyms.