Num instance for functions
From HaskellWiki
(Difference between revisions)
(Formatting) |
(note about category) |
||
| Line 16: | Line 16: | ||
<haskell>2 :: Integer</haskell> | <haskell>2 :: Integer</haskell> | ||
! :-) | ! :-) | ||
| + | |||
| + | == Note == | ||
| + | |||
| + | This article is in category Proposals in order to show people that this idea was already proposed, | ||
| + | but that one should think twice implementing it. | ||
Revision as of 15:46, 10 May 2007
Some people have argued, thatNum
(->)
to add functions nicely, say for
f, g :: Num a => b -> a
you would define
(f+g) x = f x + g x
fromInteger
fromInteger = const
numeric literals would also denote constant functions. This allows
f+2 == \x -> f x + 2
Even nicer, the mathematically established notation of omitting the multiplication dot
2(x+y) :: Integer
will now be parsed by a Haskell compiler to the most obvious meaning
2 :: Integer
! :-)
1 Note
This article is in category Proposals in order to show people that this idea was already proposed, but that one should think twice implementing it.
