On Fri, 4 Jan 2008, Peter Verswyvelen wrote:
> > It's already possible to write
> > asTypeOf ::
> > a {- ^ the input value to be passed through -}
> > -> a {- ^ the value is ignored, but the type is unified with the first
> parameter -}
> > -> a {- ^ the value of the first parameter -}
>
> Nice. Still using "first parameter" though ;-)
This was the problem I mentioned earlier.
I tend to write comments like
{- | @asTypeOf x y@ returns the value of @x@, while the types of @x@ and @y@
are unified -}
asTypeOf :: a -> a -> a
This way I can introduce parameter names for the reader.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
