caramel

7熱度

1回答

是否可以在無類型的lambda演算中有效地實現`max`？

min通常在無類型lambda演算定義爲（使用Caramel's syntax）： sub a b = (b pred a) <= a b = (is_zero (sub b a)) min a b = (<= a b a b) 這是非常低效的。 Sub是二次的，因爲它適用pred（它是線性的）b次。還有一個更高效的實現min爲： min a b succ zero = (a a_succ

functional-programming lambda-calculus caramel 2015-10-06

---