[Haskell-cafe] arrow notation

Ertugrul Söylemez es at ertes.de
Mon Feb 11 11:45:49 CET 2013


Petr Pudlák <petr.mvd at gmail.com> wrote:

>     class Arrow a => ArrowDelay a where
>         delay :: a b c -> a () (b -> c)
>
>     force :: Arrow a => a () (b -> c) -> a b c
>
> Perhaps it would be convenient to have ArrowDelay and the
> corresponding conversions included in the library so that defining and
> using Applicative instances for arrows would become more
> straightforward.

I appreciate the idea from a theoretical standpoint, but you don't
actually have to define an ArrowDelay instance for the notation to work.
The compiler can't check the laws anyway.


Greets,
Ertugrul

-- 
Key-ID: E5DD8D11 "Ertugrul Soeylemez <es at ertes.de>"
FPrint: BD28 3E3F BE63 BADD 4157  9134 D56A 37FA E5DD 8D11
Keysrv: hkp://subkeys.pgp.net/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130211/1d5ecb0d/attachment.pgp>


More information about the Haskell-Cafe mailing list