4 Jan
2008
4 Jan
'08
3:46 p.m.
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.