Re: The type of zip

[Marcin 'Qrczak' Kowalczyk]

26 Jul 2000 18:33:12 GMT, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> pisze:

> instance (ForeignArg fa ha, Call ff hf) => Call (fa -> ff) (ha -> hf) where
>     callIO f = callIO . convertArg (\fa -> f >>= return . ($fa))

BTW. I have not tested if it works nor thought how it would execute,
but I wrote down types of things to use and the resulting type to get,
and combined them in about the only type-correct way that does not
use bottoms.

This is what I love in static typing: there are cases where type
correctness practically guarantees obtaining what was needed.

-- 
 __("<  Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/            GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
  ^^                W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK                5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-