High Order Functions

home
 Bib
 Algorithms
 Bioinfo
 FP
 Logic
 MML
 Prog.Lang
and the
 mmlist

FP
 SML
  SML97
   High O.Fn

Also see:
   Conts.
  Curried

The following high-order functions are well-known in functional programming and most FP libraries provide most of them, or equivalents.

[an error occurred while processing this directive]

Exercises

  1. Which of the following are legal, and if so what is the type, or illegal, and if so why?
    curry curry
    curry uncurry
    uncurry curry
    uncurry uncurry
  2. Rewrite foldl and foldr so that parameter f is curried, and rewrite sum and product to match.
Coding Ockham's Razor, L. Allison, Springer

A Practical Introduction to Denotational Semantics, L. Allison, CUP

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite
The GIMP
~ free photoshop
Firefox
web browser

SML:
:: cons
[x1,...] list
[ ] list
@ append
fn =>  &lambda .
: has type
Compared

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Tuesday, 30-Nov-2021 19:40:35 AEDT.