[Haskell-cafe] Where do you use Haskell?

Ben Lippmeier Ben.Lippmeier at anu.edu.au
Thu May 5 01:19:42 EDT 2005

>>Many aspects of functional programming are generalisations of what goes
>>on in imperative languages.
> Huh? In which sense is that?

All senses?

* I would say that let-polymorphic HM style type inference (with type 
classes) is a generalisation of C/C++/Java style type checking + 
operator overloading + templates.

* The full laziniess transform is a generalisation of the "lifting 
things out of loops" optimisation which many imperative compilers do.

* Its funny how imperative programmers get all excited about iterators 
and rejoice when foreach is added to their favourite language, when 
FPers have been mapping and folding for decades.

I would say that once you've got higher order, polymorphic, first class 
functions, and a type system to keep the peace, well ... anything else 
you add is just icing on the cake :).

More information about the Haskell-Cafe mailing list