[Haskell-cafe] Stream fusion and span/break/group/init/tails

[Johan Tibell]

On Thu, Apr 25, 2013 at 10:30 PM, Andrew Cowie
<andrew at 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. :)