Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Why is there no Functor instance for Array in Scalaz

It looks like scalaz provides a Functor instance for List but does not provide it for Array (or Seq).

scala> val fa = Functor[Array]
<console>:17: error: could not find implicit value for parameter F: scalaz.Functor[Array]
       val fa = Functor[Array]
                       ^
scala> val fl = Functor[List]
fl: scalaz.Functor[List] = scalaz.std.ListInstances$$anon$1@20c4b59

scala> val fl = Functor[Seq]
<console>:17: error: could not find implicit value for parameter F: scalaz.Functor[Seq]
       val fl = Functor[Seq]
                       ^

Why is that ? Aren't they functors ?

like image 662
Michael Avatar asked Aug 01 '16 15:08

Michael


1 Answers

Scalaz requires that objects follow the laws for Functors. It also prescribes to the "everything immutable" philosophy of code construction. That said, Array is mutable, so they wouldn't create a Functor instance for it. Seq on the other hand is an abstract interface and it is unknown what the "correct" data type will be. That is, for Seq how to know which underlying object to return and therefore not violate any laws?

like image 69
wheaties Avatar answered Oct 05 '22 23:10

wheaties