| | |
Summary: Static Type Checking of Hadoop MapReduce Programs
Jens Dörre
University of Passau
Germany
Sven Apel
University of Passau
Germany
Christian Lengauer
University of Passau
Germany
ABSTRACT
MapReduce is a programming model for the development of Web-
scale programs. It is based on concepts from functional program-
ming, namely higher-order functions, which can be strongly typed
using parametric polymorphism. Yet this connection is tenuous.
For example, in Hadoop, the connection between the two phases
of a MapReduce computation is unsafe: there is no static type
check of the generic type parameters involved. We provide a static
check for Hadoop programs without asking the user to write any
more code. To this end, we use strongly typed higher-order func-
|
