Обновление (2018 г.): на мои молитвы был дан ответ в Dotty (Type Lambdas), поэтому следующий Q & A является более "Scalac" о связанных
Простой пример из Scala:
scala> def f(x: Int) = x
f: (x: Int)Int
scala> (f _)(5)
res0: Int = 5
Позвольте сделать его общим:
scala> def f[T](x: T) = x
f: [T](x: T)T
scala> (f _)(5)
<console>:9: error: type mismatch;
found : Int(5)
required: Nothing
(f _)(5)
^
Посмотрите на eta-расширение полиморфного метода в Scala:
scala> f _
res2: Nothing => Nothing = <function1>
Сравнение с Haskell:
Prelude> let f x = x
Prelude> f 5
5
Prelude> f "a"
"a"
Prelude> :t f
f :: t -> t
Haskell сделал правильный тип [T] => [T] здесь.
Более реалистичный пример?
scala> identity _
res2: Nothing => Nothing = <function1>
Еще более реалистично:
scala> def f[T](l: List[T]) = l.head
f: [T](l: List[T])T
scala> f _
res3: List[Nothing] => Nothing = <function1>
Вы не можете сделать псевдоним для идентификации - вам нужно написать свою собственную функцию. Такие вещи, как [T,U](t: T, u: U) => t -> u (make tuple), невозможно использовать в качестве значений. Более общий - если вы хотите передать некоторую лямбду, которая полагается на общий тип (например, использует общую функцию, например: создает списки, кортежи, каким-то образом модифицирует их) - вы не можете этого сделать.
Итак, как решить эту проблему? Любое обходное решение, решение или аргументация?
P.S. Я использовал термин полиморфный лямбда (вместо функции), поскольку функция называется lambda
В JVM/ Scala, а не значениях могут быть только общие методы. Вы можете сделать анонимный экземпляр, который реализует некоторый интерфейс (и дублирует его для каждого типа, с которым вы хотите работать):
trait ~>[A[_], B[_]] { //exists in scalaz
def apply[T](a: A[T]): B[T]
}
val f = new (List ~> Id) {
def apply[T](a: List[T]) = a.head
}
Или используйте бесформенный 'Poly, который поддерживает более сложные типы. Но да, это ограничение, и это требует работы.
Мне очень нравится решение @Travis Brown:
import shapeless._
scala> Poly(identity _)
res2: shapeless.PolyDefns.~>[shapeless.Id,shapeless.Id] = [email protected]
-
scala> def f[T](x: T) = x
f: [T](x: T)T
scala> Poly(f _)
res3: shapeless.PolyDefns.~>[shapeless.Id,shapeless.Id] = [email protected]
-
scala> def f[T](l: List[T]) = l.head
f: [T](l: List[T])T
scala> val ff = Poly(f _)
ff: shapeless.PolyDefns.~>[List,shapeless.Id] = [email protected]
scala> ff(List(1,2,3))
res5: shapeless.Id[Int] = 1
scala> ff(List("1","2","3"))
res6: shapeless.Id[String] = 1
Poly (в некоторых случаях) даст вам eta-расширение в функцию Shapeless2 Poly1, которая (более-менее) действительно является общей. Однако он не работает для мультипараметров (даже с несколькими типами параметров), поэтому нужно "реализовать" Poly2 с подходом implicit + at (как предлагалось @som-snytt), например:
object myF extends Poly2 {
implicit def caseA[T, U] = at[T, U]{ (a, b) => a -> b}
}
scala> myF(1,2)
res15: (Int, Int) = (1,2)
scala> myF("a",2)
res16: (String, Int) = (a,2)
P.S. Я бы очень хотел, чтобы это было частью языка.
P∀scal является плагином компилятора, который обеспечивает более сжатый синтаксис для кодирования полиморфных значений как объектов с помощью общего метода.
Функция идентификации, как значение, имеет тип ∀A. A => A. Чтобы перевести это в Scala, возьмите черту
trait ForAll[F[_]] {
def apply[A]: F[A]
}
Тогда тождественная функция имеет тип ForAll[λ[A => A => A]], где я использую синтаксис kind-projector, или без любезного проектора:
type IdFun[A] = A => A
type PolyId = ForAll[IdFun]
И вот теперь синтаксический сахар P∀scal:
val id = Λ[Α](a => a) : PolyId
или эквивалентно
val id = ν[PolyId](a => a)
( "ν" - греческая строчная буква "Nu", читается "новая" )
Это действительно короткие сокращения для
new PolyId {
def apply[A] = a => a
}
Множественные параметры и параметры произвольного типа поддерживаются P∀scal, но для каждого варианта вам нужно специальное изменение для вышеприведенного признака ForAll.
Кажется, вам нужно будет немного намекать на тип, чтобы помочь системе вывода типа Scala.
def id[T] : T => T = identity _
Итак, я думаю, если вы попытаетесь передать идентификатор в качестве параметра вызова функции, а типы этого параметра являются общими, тогда проблем не должно быть.