Scala: exemple de compteur de loi de composition

Question

J'apprends la programmation fonctionnelle en utilisant le langage Scala. J'ai lu le tutoriel sur le foncteur que le foncteur a 2 lois:

1. identity law: functor.map(x => x) ≡ functor 
2. Composition law: functor.map(x => f(g(x))) ≡ functor.map(g).map(f) 

La chose que je ne connais pas la loi de composition. J'ai le sentiment que toute fonction a cette propriété: f (g (x)) = functor.map (g) .map (f). Pouvons-nous avoir un exemple qui n'obéisse pas à cette règle?

Merci

Answer 1

Voici un exemple de la façon dont Set viole la 2ème loi de foncteur (et est donc pas un foncteur, même si au début il peut sembler un):

case class Foo(s: String) { 
    override def equals(obj: scala.Any): Boolean = obj match { 
    case Foo(t) => s.toUpperCase == t.toUpperCase 
    case _ => false 
    } 
} 

val toFoo = (s: String) => Foo(s) 
val fromFoo = (foo: Foo) => foo.s 

val set = Set("something", "SOMETHING") 

set.map(toFoo).map(fromFoo)  // Set(something) 
set.map(x => fromFoo(toFoo(x))) // Set(something, SOMETHING)