scala - Передача функции, которая принимает другую функцию как параметр

Question

Я пытаюсь передать функцию как параметр, но эта функция имеет несколько аргументов (одна из которых является функцией).

Вот что я пытаюсь сделать в базовом примере Python:

def first(string1, string2, func): 
    func(string1, string2, third) 

def second(string1, string2, func): 
    func(string1, string2) 

def third(string1, string): 
    # operations go here 

first("one", "two", second) 

Моя попытка это в Scala было следующее:

def first(string1: String, string2: String, func: (Any, Any, Any) => Unit) = { 
    func(string1, string2, func) 
} 
def second(string1: String, string2: String, func: (Any, Any) => Unit) = { 
    func(string1, string2) 
} 

def third(string1: String, string2: String) = { 
    // operations 
} 

def main(args: Array[String]): Unit = { 
    first("one", "two", second) 
} 

Я получаю ошибку за попытку передать second в first с недостаточным количеством аргументов. Возможно ли реализовать эту функциональность в том же стиле, что и пример Python?

EDIT:

Я попытался заменить тело моего основного метода с first("one", "two", second _), и это дает мне ошибку несоответствия типов

типа несоответствия; найдено: (String, String (Любой, любой, любой) => Unit) => требуется Единица измерения: (Любой, любой, любой) => Unit

Любая идея, что здесь происходит?

Answer 1

То, что вы пытаетесь сделать, не является безопасным для типа. Вы не можете назначить (String, String, (Any, Any) => Unit) => Unit на номер (Any, Any, Any) => Unit. Если бы вы могли, то вы можете сделать следующее:

val f = second _ 
val af: (Any, Any, Any) => Unit = f 
af(1, "abc", 5) 

Вы можете это сделать, если указать типы более точно:

def second(string1: String, string2: String, func: (String, String) => Unit) = { 
    func(string1, string2) 
} 

def third(string1: String, string2: String) = { 
    // operations 
} 

def first(string1: String, string2: String, func: (String, String, (String, String) => Unit) => Unit) = { 
    func(string1, string2, third) 
}