Apa itu "perwakilan terangkat"?

Berlari melintasi istilah ini di sini:

http://www.codemesh.io/codemesh2014/viktor-klang

"Kami akan mendemonstrasikan Flow API — representasi terangkat — serta cara pluggable untuk mengubah representasi terangkat ke representasi eksekusi — Materialisasi Aliran."

Googling tidak banyak membantu.

Saya tidak terbiasa dengan Flow API.

Istilah "mengangkat" berasal dari teori kategori. Dalam bahasa pemrograman seperti Haskell atau Scala, suatu liftfungsi mengambil fungsi A => B, dan entah bagaimana melakukan sihir sehingga fungsi yang diangkat F[A] => F[B]dapat diterapkan ke functor atau monad F[A].

Contoh konkret menggunakan Seqwadah Scala : Asumsikan kita memiliki fungsi def double(x: Int): Int = 2 * x, dan urutan val xs = Seq(1, 2, 3). Kami tidak dapat double(xs)karena jenis yang tidak kompatibel. Tetapi jika kita memperoleh val doubleSeq = liftToSeq(double), kita bisa melakukan doubleSeq(xs), yang dievaluasi Seq(2, 4, 6). Di sini, liftToSeqbisa diimplementasikan sebagai

def liftToSeq[A, B](f: A => B): (Seq[A] => Seq[B]) =
  (seq: Seq[A]) => seq.map(f)

The Seq(…)konstruktor juga dapat dilihat sebagai operasi pengangkatan, yang mengangkat nilai-nilai 1, 2, 3menjadi Seqcontoh, sehingga memungkinkan kita untuk menggunakan daftar abstraksi untuk nilai-nilai ini.

Monads memungkinkan kita untuk merangkum bagian dalam dari beberapa tipe dengan menawarkan antarmuka yang kedap air tetapi dapat digabungkan. Menggunakan representasi terangkat dapat membuatnya lebih mudah untuk alasan tentang perhitungan. Menggunakan abstraksi semacam itu juga berarti bahwa kita kehilangan pengetahuan tentang spesifik yang diabstraksi, tetapi diperlukan untuk menyediakan implementasi yang efisien di bawah tenda (menemukan representasi eksekusi yang sesuai).

Istilah untuk mengangkat tentu saja dapat memiliki arti yang berbeda tergantung pada konteksnya.

Dalam pemrograman generik ini menggambarkan proses abstrak ke tingkat yang lebih tinggi berikutnya. Misalnya, Anda dapat memiliki dua potong kode, satu jenis dengan int, dan yang lainnya dengan float. Mengangkat kode ini akan berarti sesuatu seperti templating metode dengan tipe generik Tyang berfungsi untuk keduanya, intdan float.

Saya menemukan penggunaan istilah ini sebagai pedoman intuitif yang baik untuk apa arti mengangkat . Satu-satunya perbedaan yang tampaknya ada antara konteks yang berbeda adalah apa sebenarnya abstraksi yang lebih tinggi ini.

Secara khusus, Viktor dikenal dalam konteks pemrograman fungsional, dan dalam konteks ini, Anda dapat menemukan interpretasi yang berbeda dari mengangkat di sana. Salah satu contoh, adalah untuk mengangkat nilai menjadi functor, atau mengangkat fungsi untuk bekerja pada nilai monadik (yaitu Haskell's liftM2).

Contoh yang sangat konkret dari "representasi terangkat" kemudian bisa f.ex. menjadi List(1), atau a Some(1).

Konsep semacam ini biasanya paling mudah dipahami dengan contoh nyata. Pertimbangkan kutipan berikut dari contoh API Aliran ini :

Flow(text.split("\\s").toVector).
      // transform
      map(line => line.toUpperCase).
      // print to console (can also use ``foreach(println)``)
      foreach(transformedLine => println(transformedLine)).
      onComplete(FlowMaterializer(MaterializerSettings())) {
        case Success(_) => system.shutdown()
        case Failure(e) =>
          println("Failure: " + e.getMessage)
          system.shutdown()
      }

Ini mengambil kode berikut:

text.split("\\s").toVector.
      map(line => line.toUpperCase).
      foreach(println)

dan "mengangkatnya" ke dalam Flowkonteks. Itu memungkinkan Anda untuk menggunakan sintaksis yang sama dengan yang Anda kenal untuk menentukan algoritme Anda, tetapi di balik layar mapitu dilakukan secara paralel pada beberapa prosesor atau bahkan mesin, kemudian secara foreach(println)mulus mengumpulkan output yang kembali ke satu prosesor untuk dicetak.

Ini adalah istilah umum yang dapat merujuk pada membungkus konteks apa pun di sekitar jenis apa pun. Contoh lain yang lebih akrab adalah mapmengambil fungsi yang bekerja pada elemen tunggal dan "mengangkatnya" ke dalam konteks baru bekerja pada kumpulan elemen-elemen tersebut. Lifting ada di mana-mana dalam pemrograman fungsional dan salah satu alasan utama adalah lebih mudah untuk menggunakan kembali kode fungsional.