MapreduceTheoryAlgorithm.ppt

* Applies a function to arguments. Description: Calls function and returns the values which function returns. The argument and more-arguments supply the arguments to function. All but the last of argument and more-arguments are passed to function individually. The last of argument and more-arguments must be a sequence. This sequence is not passed as a single argument to function. Instead, its elements are taken individually as arguments to function. * What is the type of this function? :: ( a - a ) - a - a /wiki/Higher-order_function The map function found in many functional programming languages is one example of a higher-order function. It takes as arguments a function f and a list of elements, and as result, returns a new list with f applied to each element from the list. Another very common kind of higher-order function in those languages which support them are sorting functions which take a comparison function as a parameter, allowing the programmer to separate the sorting algorithm from the comparisons of the items being sorted. The C standard function, qsort, is an example of this. * The higher-order library function called map applies a function to every element of a list. map :: (a-b) - [a] - [b] * /wiki/Standard_ML Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. SML is a modern descendant of the ML programming language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).[1] * [Dean and Ghemawat,2004] J. Dean and S. Ghemawat, MapReduce: Simplified Data Processing on Large Clusters,