엄격한 대 게으른 함수 매핑

Question

(head . map f) xs = (f . head) xs 

f가 엄격 할 때 모든 xs 목록에 대해 작동합니다. 아무도 저에게 예의를 줄 수 있습니까? 엄격하지 않은 이유는 무엇입니까?

Answer 1

f = const() 및 xs = undefined과 같이 엄격한 기능을 사용하지 않습니다. 이 경우, 우리는

map f undefined = undefined 

하지만

f undefined =() 

등

(head . map f) undefined = head (map f undefined) = head undefined = undefined 

하지만

(f . head) undefined = f (head undefined) = f undefined =() 

Q.E.D.이