Scala fails to infer the right type arguments?

Daniel is probably right that the existing Scala type inferencer needs more direct information to figure out the that E must be Edge . Also, it is my understanding that type inference is intentionally under-specified to make way for future improvements.

If you look at the declaration of Dijkstra, you'll see that none of the parameters make reference to E: (graph:G, start:V). So Scala has a clue what G is supposed to be, and what V is supposed to be. There's no parameter making reference to E.

I cant really gove you an answer,but what I can give you is a way to a solution, that is you have to find the anglde that you relate to or peaks your interest. A good paper is one that people get drawn into because it reaches them ln some way.As for me WW11 to me, I think of the holocaust and the effect it had on the survivors, their families and those who stood by and did nothing until it was too late.