On Thu, Apr 25, 2013 at 10:30 PM, Andrew Cowie
<and...@operationaldynamics.com> wrote:
> On Thu, 2013-04-25 at 21:15 -0700, Johan Tibell wrote:
>
>> {-# LANGUAGE Strict #-}
>
> God, I would love this. Obviously the plugin approach could do it, but
> could not GHC itself just _not create thunks_ for things unless told to
> be lazy in the presence of such a pragma?
>
> [at which point, we need an annotation for laziness, instead of the
> annotation for strictness. We're not using ampersand for anything, are
> we?
>
> func Int -> Thing -> WorldPeace
> func &a &b = ...
>
> Ah, bikeshed, how we love thee]
We already have ~ that's used to make lazy patterns. :)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
