Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.functional > #433
| From | Dirk Thierbach <dthierbach@usenet.arcornews.de> |
|---|---|
| Subject | Re: A Quickie - Any mnemonic for alpha beta eta conversions |
| Newsgroups | comp.lang.functional |
| References | <12b2282d-7409-4688-b879-1419fdec27dc@q16g2000yqc.googlegroups.com> <27eb76ba-f4fc-4b91-b339-4db96710f20b@c16g2000yqe.googlegroups.com> |
| Date | 2012-10-31 23:32 +0100 |
| Message-ID | <20121031223217.2AAA.1.NOFFLE@dthierbach.news.arcor.de> (permalink) |
| Organization | Arcor |
Totaram Sanadhya <swami.totaram.sanadhya@gmail.com> wrote: > On Oct 31, 1:56 pm, Totaram Sanadhya > <swami.totaram.sanad...@gmail.com> wrote: >> I googled on web and groups for "mnemonic for alpha beta eta >> conversions" without any luck. >> >> I am sure many of you would give some good mnemonics. >> >> If there are other menmonics that related to other concepts in >> functional programming, please also add them. It would help generation >> of students. >> >> Try to send Followup-to: comp.lang.functional >> >> Swami > These definitions do get mixed up in my mind so its good to know why > they are called alpha, beta, eta ... I don't think there are official mnemonics. One way to remember them is maybe like this: alpha-reduction is about renaming of variables, i.e. "changing the ALPHAbet". eta-reduction is about EXtensionality: a function is characterized by its action on arguments, so if you have a function "f", you can add another layer of "apply to the argument". beta-reduction is the workhorse, where the interesting things happen. delta-reductions are about additionally DEFined functions. - Dirk
Back to comp.lang.functional | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
A Quickie - Any mnemonic for alpha beta eta conversions Totaram Sanadhya <swami.totaram.sanadhya@gmail.com> - 2012-10-31 13:56 -0700
Re: A Quickie - Any mnemonic for alpha beta eta conversions Totaram Sanadhya <swami.totaram.sanadhya@gmail.com> - 2012-10-31 13:59 -0700
Re: A Quickie - Any mnemonic for alpha beta eta conversions Dirk Thierbach <dthierbach@usenet.arcornews.de> - 2012-10-31 23:32 +0100
Re: A Quickie - Any mnemonic for alpha beta eta conversions Rivka Miller <rivkaumiller@gmail.com> - 2012-10-31 19:10 -0700
Re: A Quickie - Any mnemonic for alpha beta eta conversions Dirk Thierbach <dthierbach@usenet.arcornews.de> - 2012-11-01 08:40 +0100
csiph-web