One can also take types into account for completion. There is a Scala Eclipse IDE plugin that does it: http://lara.epfl.ch/w/insynth http://lara.epfl.ch/w/insyn

One can also take types into account for completion. There is a Scala Eclipse IDE plugin that does it: http://lara.epfl.ch/w/insynth http://lara.epfl.ch/w/insynth (it's a research project).