厳密対怠惰関数のマッピング

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.を持っています