x, y :: Int (x, y) = (1, 2)

타입 지정 동시에 여러개 됨


foo x = y where y | x <= 10 = 0 | otherwise = 1

인자 없을때도 가드 문법 쓸 수 있음


foo x | x <= 10 = 0 | otherwise = 1

가드 쓸때 줄 안바꿔도 됨


f :: Num a => (a -> a -> a) -> a f (*) = 1 * 2 -- f (+) == 3 -- f (*) == 2

abstraction 할때 인자 이름을 연산자로 해도 됨


Agda 하다가 마지막 스타일 보고 와 Agda는 진짜 진보적인 언어구나... 했는데 왜 하스켈에서 되냐 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ