Scala: Именование параметров функциональных параметров

Question

У меня есть черта Image, представляющая изображение 2D ARGB. Image имеет метод map, который принимает функцию отображения и преобразует изображение с использованием указанной функции. Функция отображения имеет 3 параметра: координаты X и Y и цвет изображения в этой координате. Цвет представлен как 32-разрядное значение ARGB, упакованное в Int.

trait Image { 
    def map(f: (Int, Int, Int) => Int) 
} 

Однако, без комментариев, это невозможно сказать, какой параметр f который.

В C#, я хотел бы создать делегат для этого, что позволяет мне назвать параметры функции отображения:

delegate int MapImage(int x, int y, int color); 

Есть ли что-нибудь в этом роде в Scala? Рассматривается ли это для добавления к языку? Без него я не могу написать интерфейс, который можно прочитать без явной документации.

(Примечание: Я знаю, что я должен обернуть Int в случае класса для целей, представляющего цвета, но это лишь иллюстративный пример.)

Answer 1

возможно, через использование типов:

trait Image { 
    type x = Int 
    type y = Int 
    type color = Int 

    def map(f: (x, y, color) => Int) 
} 

я бы много, а с помощью дела класс следующим образом:

case class MapImage(x: Int, y: Int, color: Int) 
trait Image { 
    def map(f: MapImage => Int) 
} 

Answer 2

Вы могли бы объявить, что признак f орудия. Поддержка SAM (включена, если вы компилируете с -Xexperimental и будет в следующей версии), это должно быть так же просто в использовании.

trait ImageMapper { 
    def mapImage(x: Int, y: Int, color: Int): Int 
} 

trait Image { 
    def map(f: ImageMapper) = ... 
} 

myImage.map{ (x, y, color) => ... } //the anonymous function 
// is automatically "lifted" to be an implementation of the trait.