Generic Programming in Scala

Question

Hi all I am fairly new to Scala coming from C#.

I am attempting to write my own version of accumulate ( fold) I am wondering why I am running into some issues with the following:

def accumulate[T](list : List[T], initial: T, f: (T, T) => T) : T = {
    @tailrec def loop[T](list: List[T], accum: T) : T =
      if(list.length == 0)
        accum
      else{
        val head : T = list.head
        val res : T = f(accum,head)
        loop[T](list.tail, res)
      }
    loop(list,initial)
  }

I am getting the following error:

type mismatch;
 found   : accum.type (with underlying type T)
 required: T
        val res : T = f(accum,head)
                        ^

I cant see how I have a type mismatch considering everything is type T.

Any thoughts / help would be appreciated.

Blair

Community · Accepted Answer · 2017-05-23 12:21:37Z

5

You should just remove type parameter from loop method. Replace loop[T] with loop.

With loop[T] you are creating new type parameter with name T, so T outside loop method and T in loop method are different type aliases with the same name.

It's called shadowing.

See these answers for similar problems:

edited May 23, 2017 at 12:21

CommunityBot

11 silver badge

answered Oct 2, 2013 at 13:24

senia

38.1k6 gold badges93 silver badges134 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

Blair Davidson Over a year ago

Ahh so obvious now :) Thanks

Shadowlands · Accepted Answer · 2013-10-02 13:25:14Z

2

The problem is that with the inner function loop you are defining a new type T that is shadowing the outer type T.

The compiler sees them as defining different types. If you simply remove the T type parameter from loop (including the recursive call loop(list.tail, res)) you should find it compiles just fine.

answered Oct 2, 2013 at 13:25

Shadowlands

15.1k4 gold badges47 silver badges45 bronze badges

Collectives™ on Stack Overflow

Generic Programming in Scala

2 Answers 2

1 Comment

Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

1 Comment

Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related