Article View: comp.lang.functional
Article #6123rd order functions
From: Thorsten Altenkirch
Date: Thu, 01 Oct 1992 10:49
Date: Thu, 01 Oct 1992 10:49
23 lines
1064 bytes
1064 bytes
Second order functions are used quite frequently in functional programming - examples are: map: (A->B)->LA->LB sort: (A->A->Bool)->LA->LA However, I find it quite hard to come up with useful examples of 3rd order functions (e.g. which have types like ((A->B)->C)->D). Sure, it is not hard to come up with constructed examples like: \lambda f:(A->A)->B . f (\lambda x:A . x) : ((A->A)->B)->B but I am rather looking for examples motivated by programming problems. Any ideas? -- Thorsten Altenkirch LFCS, Edinburgh "Germany still proves reluctant to exchange email with other countries efficiently" - Summer 1992 Systems Newsletter, Dep. of CS,Edinburgh
Technical Details
Message-ID:
<BvFvEz.7A@dcs.ed.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!pipex!unipalm!uknet!edcastle!dcs.ed.ac.uk!altiShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!unipalm!uknet!edcastle!dcs.ed.ac.uk!alti From: alti@dcs.ed.ac.uk (Thorsten Altenkirch) Newsgroups: comp.lang.functional Subject: 3rd order functions Message-ID: <BvFvEz.7A@dcs.ed.ac.uk> Date: 1 Oct 92 10:49:47 GMT Sender: cnews@dcs.ed.ac.uk (UseNet News Admin) Organization: Department of Computer Science, Edinburgh University Lines: 23