Arc Forumnew | comments | leaders | submitlogin
1 point by hasenj 2669 days ago | link | parent


Interestingly, it's smaller than 'pair' even though it does more.

3 points by akkartik 2668 days ago | link

I first encountered this idea in a theorem-proving class - that if you have a hard time proving a theorem, often a really good approach is to find a more general 'lemma' to try to prove. Stronger theorems are often easier because they let you assume more in the induction step. Recursion has a similar 1-1 correspondence with inductive proofs.


1 point by hasenj 2668 days ago | link

Actually I just realized, 'tuple' uses 'firstn' and 'nthcdr', where as 'pair' sort of inlines these concept and has to deal with nils.