[%] haskell 잘 아는 놈 있냐?

[ㄹㄹ(118.235)]

sqrt (fromIntegral 3)
요거는 되는데

sqrt . fromIntegral 3
요거는 에러 뜸

왜???

[ㄹㄹ(118.235)]

참고로 3은 Int 형이야

[익명(223.38)]

.이 아니라 $ 아니냐 - dc App

[ㄹㄹ(118.235)]

오 되네 뭔 차이냐?

[기괴공학도(mecheng98)]

(sqrt . fromIntegral) 3

[다믜(damhiya)]

(.) 는 함수 합성이고 ($) 는 인자 적용임

[ㄹㄹ(118.235)]

sqrt (fromIntegral n) 도 합성 함수 아니야? fromIntegral n 이 반환하는 값을 sqrt가 인자로 삼잖아

[다믜(damhiya)]

sqrt . fromIntegral 3 이라고 쓰면 sqrt . (fromIntegral 3) 으로 해석되서 안되는거. (sqrt . fromIntegral) 3 이나 sqrt $ (fromIntegral 3) 등이 올바른 표현식임

[다믜(damhiya)]

잘 모르겠으면 타입을 보면 명확하다. (.) :: (b -> c) -> (a -> b) -> a -> c, ($) :: (a -> b) -> a -> b

[ㄹㄹ(118.235)]

답변 땡큐 ㅋㅋㅋㅋㅋㅋ haskell 미친놈이네 개어렵다

[ㅇㄹ(rerereq)]

하스켈은 백만가지 함수랑 연산자들의 higher kinded 타입이랑 지지고 볶아야함