Hacker News new | past | comments | ask | show | jobs | submit login

Writing programs in lambda calculus is definitely more enjoyable than in eg SKI calculus.

I think if you express your lambda calculus bindings in terms of De Bruijn indices, it might seem less arbitrary, too.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: