[Haskell-cafe] Type trickery

Miguel Mitrofanov miguelimo38 at yandex.ru
Wed Mar 16 13:19:49 CET 2011

  I fail to see how does it limit the scope.

16.03.2011 15:05, Andrew Coppin пишет:
>> You could define a function:
>> withContainer ∷ (∀ s. Container s → α) → α
>> which creates a container, parameterizes it with an 's' that is only
>> scoped over the continuation and applies the continuation to the
>> created container.
> Hmm, yes. That will work, but I wonder if there's some way of doing this that doesn't limit the scope of the container to one single span of code...
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list