Apa arti istilah "Abstraksi Leaky"? (Tolong jelaskan dengan contoh. Saya sering mengalami kesulitan membaca teori belaka.)
Apa arti istilah "Abstraksi Leaky"? (Tolong jelaskan dengan contoh. Saya sering mengalami kesulitan membaca teori belaka.)
Saya bertanya-tanya apakah ada cara untuk menariknya di Jawa. Saya pikir itu tidak mungkin tanpa dukungan asli untuk penutupan.
Apa cara terbaik untuk menghentikan lipatan lebih awal? Sebagai contoh yang disederhanakan, bayangkan saya ingin menjumlahkan angka dalam sebuah Iterable, tetapi jika saya menemukan sesuatu yang tidak saya harapkan (katakanlah angka ganjil) saya mungkin ingin menghentikannya. Ini adalah...
Saya mencoba untuk memvisualisasikan beberapa sistem fisik otomatis sederhana (seperti pendulum, lengan robot, dll.) Di Haskell. Seringkali sistem tersebut dapat dijelaskan dengan persamaan seperti df/dt = c*f(t) + u(t) di mana u(t)mewakili semacam 'kontrol cerdas'. Sistem tersebut terlihat...
Tertutup . Pertanyaan ini berdasarkan opini . Saat ini tidak menerima jawaban. Ingin memperbaiki pertanyaan ini? Perbarui pertanyaan agar dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Tutup 2 tahun lalu . Perbaiki pertanyaan...
Wikipedia mengatakan Ruby adalah bahasa fungsional, tetapi saya tidak yakin. Mengapa atau mengapa tidak?
Tertutup . Pertanyaan ini membutuhkan detail atau kejelasan . Saat ini tidak menerima jawaban. Ingin memperbaiki pertanyaan ini? Tambahkan detail dan klarifikasi masalah dengan mengedit posting ini . Tutup 2 bulan lalu . Perbaiki pertanyaan ini...
Saya mencari algoritme untuk menghasilkan permutasi satu set sedemikian rupa sehingga saya bisa membuat daftar malas dari mereka di Clojure. yaitu Saya ingin mengulang daftar permutasi di mana setiap permutasi tidak dihitung sampai saya memintanya, dan semua permutasi tidak harus disimpan dalam...
Saya baru-baru ini menyelesaikan kursus universitas yang menampilkan Haskell dan Agda (bahasa pemrograman fungsional jenis dependen), dan bertanya-tanya apakah mungkin untuk mengganti kalkulus lambda dengan logika kombinatori. Dengan Haskell ini tampaknya mungkin menggunakan kombinator S dan K,...
Menurut pemahaman saya, fungsi parsial adalah fungsi yang kita dapatkan dengan melewatkan lebih sedikit parameter ke fungsi daripada yang diharapkan. Misalnya, jika ini secara langsung valid dengan Python: >>> def add(x,y): ... return x+y ... >>> new_function =...
Saat ini saya sedang mengerjakan penerjemah sederhana untuk bahasa pemrograman dan saya memiliki tipe data seperti ini: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Dan saya memiliki banyak fungsi yang melakukan hal-hal sederhana seperti: -- Substitute a value for a...
Pertanyaan ini adalah pertanyaan teoretis tentang fungsi Haskell yang dapat mengambil argumen apa pun. Apakah ada perbedaan antara fungsi cara dengan jenis tanda tangan a -> b -> a dan c -> a -> c Apakah instantiated? Bantuan apa pun
Bagi saya tampaknya Anda selalu dapat melewati argumen fungsi daripada menggunakan typeclass. Misalnya daripada mendefinisikan typeclass kesetaraan: class Eq a where (==) :: a -> a -> Bool Dan menggunakannya dalam fungsi lain untuk menunjukkan argumen tipe harus merupakan instance dari...
Banyak jenis optik memiliki representasi van Laarhoven. Misalnya, Lenstipe Lens s t a b dapat direpresentasikan sebagai: Functor f => (a -> f b) -> s -> f t Demikian pula a Traversal, dapat direpresentasikan dengan cara yang sama, menukar Functorkendala untuk Applicative:...
Real World Haskell, bab 4, halaman 98 dari cetakan bertanya apakah wordsdapat diimplementasikan menggunakan lipatan, dan ini juga pertanyaan saya: Apa itu mungkin? Jika tidak, mengapa? Jika ya, bagaimana? Saya datang dengan berikut ini, yang didasarkan pada gagasan bahwa setiap non-spasi harus...
Berikut adalah sepotong kode dari dokumentasi untuk fs2 . Fungsi goini bersifat rekursif. Pertanyaannya adalah bagaimana kita tahu apakah itu stack safe dan bagaimana alasannya jika ada fungsi stack safe? import fs2._ // import fs2._ def tk[F[_],O](n: Long): Pipe[F,O,O] = { def go(s:...
Untuk membersihkan daftar data, saya telah membuat metode yang menerima daftar data dan daftar operasi pembersihan yang harus dilakukan. public <T> List<T> cleanData(List<T> data, List<Function<T, T>> cleanOps) { List<T>dataNew=data.stream().map((str) -> {...
Saya memiliki fungsi gaya ES6 yang didefinisikan menggunakan komposisi fungsi dengan asyncPipe. import { getItemAsync } from 'expo-secure-store'; const asyncPipe = (...fns) => x => fns.reduce(async (y, f) => f(await y), x); const getToken = () => getItemAsync('token'); const...
Saya membaca pemrograman buku dalam scala, dan dikatakan: ... dalam hal ini, efek sampingnya adalah mencetak ke aliran keluaran standar. dan saya tidak melihat di mana efek sampingnya, karena, untuk input yang sama, println akan mencetak output yang sama (saya pikir) PEMBARUAN misalnya...
Ketika menggunakan lingkungan fungsional seperti Scala dan cats-effect, haruskah konstruksi objek stateful dimodelkan dengan jenis efek? // not a value/case class class Service(s: name) def withoutEffect(name: String): Service = new Service(name) def withEffect[F: Sync](name: String):...