Is it possible to write a function arity :: a -> Integer
to determine the arity of arbitrary functions, such that
> arity map
2
> arity foldr
3
> arity id
1
> arity "hello"
0
?
Yes, it can be done very, very easily:
arity :: (a -> b) -> Int
arity = const 1
Rationale: If it is a function, you can apply it to exactly 1 argument. Note that haskell syntax makes it impossible to apply to 0, 2 or more arguments as f a b
is really (f a) b
, i.e. not f applied to a and b
, but (f applied to a) applied to b
.
The result may, of course, be another function that can be applied again, and so forth.
Sounds stupid, but is nothing but the truth.
a -> b -> c
is just sugar for a -> (b -> c)
.
Commented
Dec 3, 2011 at 21:53
It's easy with OverlappingInstances
:
{-# LANGUAGE FlexibleInstances, OverlappingInstances #-}
class Arity f where
arity :: f -> Int
instance Arity x where
arity _ = 0
instance Arity f => Arity ((->) a f) where
arity f = 1 + arity (f undefined)
Upd Found problem. You need to specify non-polymorphic type for polymorphic functions:
arity (foldr :: (a -> Int -> Int) -> Int -> [a] -> Int)
Don't know how to solve this yet.
Upd2 as Sjoerd Visscher commented below "you have to specify a non-polymorphic type, as the answer depends on which type you choose".
instance Arity x
is more general than instance Arity ((->) a f)
. So without extensions GHC can't choose which of this two instances to use for functions. OverlappingInstances
instructs GHC that a) such instances are allowed; b) she need to choose most specific one.
Commented
Dec 3, 2011 at 17:05
arity (foldr :: (a -> (Int -> Int) -> Int -> Int) -> (Int -> Int) -> [a] -> Int -> Int)
Commented
Dec 3, 2011 at 17:35
IncoherentInstances
LANGUAGE pragma ;)
arity (\x y z -> (x,y,z)) is
3,
arity (\x y z -> x)` is 0
, arity (\x y z -> (x,y)
is 2
and arity (\x y z -> (x,z))
is surprisingly 1
. What's to be noticed here is that if all variables on the left side occur on the right side then the result is correct, however if not all of them occur on the right side the result does not make sense. We need some GHC expert :D
If id
has arity 1, shouldn't id x
have arity 0? But, for example, id map
is identical to map
, which would has arity 2 in your example.
Have the following functions the same arity?
f1 = (+)
f2 = (\x y -> x + y)
f3 x y = x + y
I think your notion of "arity" is not well defined...
id x
has the arity of x
's arity? I mean, it's reasonable if you look at id :: a -> a
.
->
in a function's type which are not enclosed in parentheses. So the arity of id x
depends on x
.
Commented
Dec 3, 2011 at 17:01
()
.
In Haskell, every "function" takes exactly one argument. What looks like a "multi-argument" function is actually a function that takes one argument and returns another function which takes the rest of the arguments. So in that sense all functions have arity 1.
It's not possible with standard Haskell. It may be possible using the IncoherentInstances or similar extension.
But why do you want to do this? You can't ask a function how many arguments it expects and then use this knowledge to give it precisely that number of arguments. (Unless you're using Template Haskell, in which case, yes, I expect it is possible at compile time. Are you using Template Haskell?)
What's your actual problem that you're trying to solve?
*
.
Commented
Aug 21, 2015 at 12:15
How about this:
arity :: a -> Int
arity (b->c) = 1 + arity (c)
arity _ = 0
Arity(F)
that returns the number of inputs ofF
. I was curious if I could implement some of the functions they defined in Haskell.