Re: [Haskell-cafe] I love type declarations. :-)

On 5/6/05, Daniel Carrera wrote:

function :: Int -> Int -> [Int] Before, when writing imperative code, I would add a comment for each function describing its input and output. Now type declarations provide

What do you mean? In C++ one would write: vector<int> function(int a, int b) { ... } Type annotations are independent of functional/imperative style. (Although C++, the most used imperative language requires type annotations). -- regards, radu http://rgrig.blogspot.com/