Scala Function.tupled i Function.untupled odpowiednik dla zmiennej arity, lub wywoływanie funkcji arith zmiennej z krotką

Question

Próbowałem zrobić kilka rzeczy zeszłej nocy wokół przyjęcia i wywołania funkcji ogólnej (tj. Typ jest znany w witrynie połączenia , ale potencjalnie różni się w różnych witrynach wywołań, więc definicja powinna być ogólna dla wszystkich arach).

Załóżmy na przykład, że mam funkcję f: (A, B, C, ...) => Z. (W rzeczywistości istnieje wiele takich f s, których nie znam z góry, a więc nie mogę naprawić typów ani liczby A, B, C, ..., Z.)

Próbuję osiągnąć następujące.

1. Jak mogę zadzwonić f rodzajowo z instancją (A, B, C, ...)? Jeśli podpis f był znany z góry, mógłbym zrobić coś z udziałem Function.tupled f lub odpowiednika.

2. Jak zdefiniować inną funkcję lub metodę (na przykład, pewną metodę apply) z tym samym podpisem co f? To znaczy, jak zdefiniować typ g, dla którego sprawdzany jest typ g(a, b, c, ...) tylko wtedy, gdy sprawdzany jest typ? Szukałem tego w Shapeless's HList. Z tego, co mogę do tej pory stwierdzić, HList rozwiązuje przynajmniej kwestię "reprezentowania arbitralnej listy argumentów arity", a także, że Shapeless rozwiąże konwersję do i z kwestii krotki. Jednak nadal nie jestem pewien, czy rozumiem, jak to by pasowało do funkcji ogólnej arii, jeśli w ogóle.

3. Jak zdefiniować inną funkcję lub metodę z odpowiednim podpisem typu na f? Największy przykład, który przychodzi mi na myśl, to około h: (A, B, C, ...) => SomeErrorThing[Z] \/ Z.

Pamiętam, jak jakiś czas temu oglądałem prezentację konferencji na temat Shapeless. Podczas gdy prezenter nie wykazał tego wyraźnie, to co oni pokazali (różne techniki dotyczące abstrakcji/generalizacji krotek w stosunku do HList s) mogłoby doprowadzić mnie do przekonania, że ​​podobne rzeczy jak powyższe są możliwe przy użyciu tych samych narzędzi.

Z góry dziękuję!

Answer 1

Tak, Bezkształtne mogą ci w tym pomóc. Załóżmy na przykład, że chcemy przyjąć funkcję arbitralnej arii i przekształcić ją w funkcję o tym samym charakterze, ale z typem zwrotu zawiniętym w Option (myślę, że to trafi we wszystkie trzy punkty twojego pytania).

Aby wszystko było proste, powiem tylko, że Option jest zawsze Some. Trwa to dość gęsty cztery linie:

import shapeless._, ops.function._ 

def wrap[F, I <: HList, O](f: F)(implicit 
    ftp: FnToProduct.Aux[F, I => O], 
    ffp: FnFromProduct[I => Option[O]] 
): ffp.Out = ffp(i => Some(ftp(f)(i))) 

Możemy pokazać, że to działa:

scala> wrap((i: Int) => i + 1) 
res0: Int => Option[Int] = <function1> 

scala> wrap((i: Int, s: String, t: String) => (s * i) + t) 
res1: (Int, String, String) => Option[String] = <function3> 

scala> res1(3, "foo", "bar") 
res2: Option[String] = Some(foofoofoobar) 

Uwaga odpowiednie typy statyczne Return. Teraz jak to działa:

FnToProduct klasa typu dostarcza dowodów, że jakiś rodzaj F jest FunctionN (z jakiegoś N), które mogą być przekształcone w zależności od jakiegoś HList do oryginalnego typu wyjściowego.Funkcja HList (a dokładniej Function1) jest członem typu typu Out lub drugim typem pomocnika pomocniczego FnToProduct.Aux.

FnFromProduct nie odwróconej to dowód, że niektóre F jest Function1 z HList pewnego typu wyjściowego, który może być przekształcony w funkcji pewnej Arity do tego typu produkcji.

wrap W naszej metodzie używamy FnToProduct.Aux aby ograniczyć Out instancji FnToProduct dla F w taki sposób, że możemy odnosić się do listy HList parametrów i typu O wynik w rodzaju naszej FnFromProduct instancji. Wdrożenie jest wówczas dość proste - wystarczy zastosować instancje w odpowiednich miejscach.

To wszystko może wydawać się bardzo skomplikowane, ale gdy już raz pracowałeś z tego rodzaju programowaniem generalnym w Scala, stało się ono mniej lub bardziej intuicyjne, a my z przyjemnością odpowiemy na bardziej szczegółowe pytania dotyczące Twojego przypadek użycia.