[Haskell-cafe] I Need a Better Functional Language!

Tillmann Rendel rendel at informatik.uni-marburg.de
Thu Apr 5 20:59:35 CEST 2012


Paul R wrote:
> I am curious what are interesting use-cases for that? Symbolic
> analysis? self-compilers?

Optimization. For example, imagine the following definition of function 
composition:

   map f . map g = map (f . g)
   f . g = \x -> f (g x)

In Haskell, we cannot write this, because we cannot pattern match on 
function calls.

   Tillmann



More information about the Haskell-Cafe mailing list