🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.functional
Article #613

Re: 3rd order functions

#613
From: S.J.Thompson
Date: Thu, 01 Oct 1992 12:48
24 lines
931 bytes
A ``real'' third-order function:

A real number can be represented by a first order function

	integer -> integer

or 

	integer -> rational

Functions from reals to reals are therefore second order, and
so a function which integrates a real function over an interval 
is third order:

	(real -> real) -> real -> real -> real

Simon Thompson

Simon Thompson				e-mail:	sjt@ukc.ac.uk
Computing Laboratory			phone:	+44-227-764000 extn. 3820
University of Kent			fax:	+44-227-762811
Canterbury, Kent,
CT2 7NF, UK
Technical Details
Message-ID: <13@beech.ukc.ac.uk>
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!harrier.ukc.ac.uk!beech.ukc.ac.uk!sjt
References: <BvFvEz.7A@dcs.ed.ac.uk>

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!harrier.ukc.ac.uk!beech.ukc.ac.uk!sjt
From: sjt@ukc.ac.uk (S.J.Thompson)
Newsgroups: comp.lang.functional
Subject: Re: 3rd order functions
Message-ID: <13@beech.ukc.ac.uk>
Date: 1 Oct 92 12:48:00 GMT
References: <BvFvEz.7A@dcs.ed.ac.uk>
Reply-To: sjt@ukc.ac.uk (S.J.Thompson)
Organization: Computing Lab, University of Kent at Canterbury, UK.
Lines: 24