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

[KC]

On Thu, Apr 5, 2012 at 11:59 AM, Tillmann Rendel <
rendel at informatik.uni-marburg.de> wrote:

> 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
>
> So, we're not talking about optimization as in Mathematical Programming
but optimization in language constructs.

You might want to take a look at MIN by Stephen Tse.

-- 
--
Regards,
KC
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120405/1f238b23/attachment.htm>