Scala: обратный результат при удалении подчеркивания с:

При попытке ответить на этот вопрос: Оставить подчеркивание в литерале функции Я попытался привести пример кода, и я столкнулся с странным поведением.

scala> val myList = 1::2::Nil
myList: List[Int] = List(1, 2)

scala> def concat:(List[Int]=> List[Int]) = myList:::
concat: (List[Int]) => List[Int]

scala> concat(3::Nil)
res1: List[Int] = List(3, 1, 2)

Хотя у меня есть хороший ответ, когда я использую синтаксисы _ или x=> f(x).

scala> def concat0:(List[Int]=> List[Int]) = x=> myList:::x
concat0: (List[Int]) => List[Int]

scala> def concat1:(List[Int]=> List[Int]) = myList::: _
concat1: (List[Int]) => List[Int]

scala> concat0(3::Nil)
res2: List[Int] = List(1, 2, 3)

scala> concat1(3::Nil)
res3: List[Int] = List(1, 2, 3)

Существует ли рациональное объяснение, почему myList приходит после 3::Nil в функции concat?

Ответы

Ответ 1

myList ::: _ преобразуется в _.:::(myList), тогда как myList ::: переводит на myList.:::(_).

TL;DR

Этот пост более подробно описывает правильные ассоциативные методы. Что здесь происходит:

  • def concat0:(List[Int]=> List[Int]) = x=> myList:::x
    • Scala компилятор может сделать вывод, что x, если тип List[Int]
    • List имеет метод :::
    • Из-за правил правильной ассоциативности это превращается в x.:::(myList), который добавляет myList к x.
  • def concat: (List [Int] = > List [Int]) = myList:
    • myList если тип List[Int]
    • Не существует правой части :::, поэтому нет правой ассоциативности
    • Вместо этого компилятор сообщает a. между myList и :::
    • myList.::: совпадает с x => myList.:::(x), который добавляет x к myList.