Functional Programming with Haskell - Function/operator equivalence CSC 372

하스켈 연산자는 중위폼이 적용된 함수라고 볼 수 있다. 연산자에 대해서 더 알고 싶으면 아래와 같이 :info 를 사용한다.

 
Prelude> :info (^)
(^) :: (Num a, Integral b) => a -> b -> a       -- Defined in ‘GHC.Real’
infixr 8 ^
Prelude>
 

여기서 (Num a, Integral b) => a -> b -> a 가 의미하는 것은 첫 번째 피연산자는 number 이고 두 번째는 integer 여야 한다는 것이다. infixr 8 의 의미는 right-associative 이고, 8의 우선순위를 갖는다는 의미이다. 

하스켈 연산자의 우선순위에 대해서는 아래를 참조한다.

Precedence	Operator	Description	Associativity
9 highest	.	Function composition	Right
8	^,^^,**	Power	Right
7	*,/,`quot`,`rem`,`div`,`mod`		Left
6	+,-		Left
5	:	Append to list	Right
4	==,/=,<,<=,>=,>	Compare-operators
3	&&	Logical AND	Right
2	||	Logical OR	Right
1	>>,>>=		Left
1	=<<		Right
0	$,$!,`seq`		Right

https://rosettacode.org/wiki/Operator_precedence#Haskell

다른 연산자에 대해서도  :info 를 이용해 살펴보자.

Prelude> :info (==)
class Eq a where
  (==) :: a -> a -> Bool
  ...
        -- Defined in ‘GHC.Classes’
infix 4 ==
 
 
Prelude> :info (>)
class Eq a => Ord a where
  ...
  (>) :: a -> a -> Bool
  ...
        -- Defined in ‘GHC.Classes’
infix 4 >
 
 
Prelude> :info (+)
class Num a where
  (+) :: a -> a -> a
  ...
        -- Defined in ‘GHC.Num’
infixl 6 +
 
 
Prelude> :info (*)
class Num a where
  ...
  (*) :: a -> a -> a
  ...
        -- Defined in ‘GHC.Num’
infixl 7 *
 
 
Prelude> :info (||)
(||) :: Bool -> Bool -> Bool    -- Defined in ‘GHC.Classes’
infixr 2 ||
Prelude> :info (^^)
(^^) :: (Fractional a, Integral b) => a -> b -> a
        -- Defined in ‘GHC.Real’
infixr 8 ^^
 
 
Prelude> :info (**)
class Fractional a => Floating a where
  ...
  (**) :: a -> a -> a
  ...
        -- Defined in ‘GHC.Float’
infixr 8 **
Prelude>
 

연산자를 함수처럼 사용하기 위해서는 괄호로 닫아야 한다. 

 
Prelude> (+) 3 4
7
Prelude>

이와는 반대로 역따옴표로 함수를 감싸서 연산자처럼 사용할 수도 있다.

Prelude> 3 `add` 4
7
Prelude> 11 `rem` 3
2

하스켈에서는 사용자 정의 연산자도 만들 수 있다. ! # $ % & * + . / < = > ? @ \ ^ | - ~ : 와 non-ASCII 유니코드 심볼은 커스톰 연산자에 사용할 수 있다.