a state of N India: the most populous state; originated in 1877 with the merging of Agra and Oudh as the United Provinces; augmented by the states of Rampur, Benares, and Tehri-Garhwal in 1949; the N Himalayan region passed to the new state of Uttaranchal (now Uttarakhand) in 2000; now consists mostly of the Upper Ganges plain; agricultural.
Haskell is a modern, standard, non-strict, purely-functional programming language. It provides all the features sketched above, including polymorphic typing, lazy evaluation and higher-order functions. It also has an innovative type system which supports a systematic form of overloading and a module system.
Cabal is part of a larger infrastructure for distributing, organizing, and cataloging Haskell libraries and programs. Specifically, the Cabal describes what a Haskell package is, how these packages interact with the language, and what Haskell implementations must to do to support packages. The Cabal also specifies some infrastructure (code) that makes it easy for tool authors to build and distribute conforming packages.