Di Haskell, saya bisa menggunakan tipe a -> Maybe buntuk memodelkan fungsi yang mengembalikan nilai tipe b, atau mengembalikan apa-apa (gagal). Jika saya memiliki jenis a1, ..., a(n+1)dan fungsi f1, ..., fn, dengan fi :: ai -> Maybe a(i+1)untuk semua i, 1 <= i <= n, aku dapat rantai...
Sepertinya instance Bounded harus memiliki implementasi Enum yang waras. Saya pribadi tidak bisa memikirkan contoh tandingan, meskipun jika seseorang menemukan yang tidak patologis maka saya akan mengerti mengapa ini tidak terjadi. Dari melakukan :ipada dua typeclasses sepertinya satu-satunya...
Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga berfokus pada satu masalah hanya dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Makalah asli...
Sulit mengatakan apa yang ditanyakan di sini. Pertanyaan ini bersifat mendua, tidak jelas, tidak lengkap, terlalu luas, atau retoris dan tidak dapat dijawab secara wajar dalam bentuknya saat ini. Untuk bantuan mengklarifikasi pertanyaan ini sehingga dapat dibuka kembali, kunjungi
Salah satu prinsip Pemrograman Fungsional adalah penggunaan Fungsi Murni. Fungsi Murni adalah fungsi yang bebas efek samping dan transparan referensial. Getters tidak transparan secara referensi - jika seorang Setter dipanggil di antara panggilan ke Getter, nilai pengembalian Getter berubah...
Saya sudah lama ingin mencoba grafis di Haskell. Dari apa yang saya lihat, perpustakaan yang tersedia adalah front-end ke perpustakaan C / C ++, atau abstraksi dari mereka dengan fitur minimal. Perpustakaan tingkat tinggi tampaknya tidak sesuai dengan kebutuhan saya, dan jadi saya pergi dengan...
Saya telah membaca bahwa Go sebenarnya tidak memiliki inferensi tipe yang sebenarnya dalam arti bahwa bahasa fungsional seperti ML atau Haskell miliki, tetapi saya belum dapat menemukan perbandingan yang sederhana untuk memahami kedua versi. Bisakah seseorang menjelaskan secara mendasar bagaimana...
Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga berfokus pada satu masalah hanya dengan mengedit posting ini . Ditutup 6 tahun yang lalu . Saya hanya tidak...
Sebagian besar sintaksis Haskell memiliki keindahan kemurnian. Tapi sintaksisnya terlihat jelek. Itu tidak nyaman. Rasanya semacam campuran dengan C. Itu membutuhkan koma dan kawat gigi. Haskell memiliki tab, pemisahan berdasarkan garis. Jadi itu terlihat terlalu bertele-tele daripada yang...
Baru-baru ini, saya menjadi sangat tertarik pada Haskell. Ketika mencoba mempelajari konsep-konsep baru (misalnya kata kunci forall dan ST monad ) dan sistem tipe Haskell secara umum, saya terus mengalami konsep-konsep dari teori kategori dan kalkulus lambda . Jadi, saya bertanya-tanya: Cabang...
Ditutup . Pertanyaan ini didasarkan pada pendapat . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga dapat dijawab dengan fakta dan kutipan dengan mengedit posting ini . Ditutup 4 tahun yang lalu . Saya...
Saya ingin mengimplementasikan datastore dalam memori untuk layanan web di Haskell. Saya ingin menjalankan transaksi di STMmonad. Ketika saya google hash table steam Haskell saya hanya mendapatkan ini: Data. BTree. HashTable. STM.Nama modul dan kerumitan menyarankan ini diterapkan sebagai pohon....
Pola arsitektur pipa & filter didefinisikan sebagai rantai elemen pemrosesan, disusun sedemikian rupa sehingga output setiap elemen adalah input dari elemen berikutnya . Setiap contoh tampaknya mempertimbangkan inter-proses atau koneksi antar-thread dilakukan melalui beberapa jenis buffer...
Saya telah diberitahu dalam pertanyaan sebelumnya bahwa bahasa pemrograman fungsional tidak cocok untuk sistem dinamis seperti mesin fisika, terutama karena mahal untuk bermutasi objek. Seberapa realistis pernyataan ini, dan
Saya telah memahami bahwa jauh sebelum Haskell, O'Caml atau LISP, fungsi-fungsi tingkat tinggi adalah subjek penelitian akademik dan dalam matematika, Schönfinkel (pada 1967) dan Haskell Curry (pada 1968) sudah menerapkan teknik seperti kari, tetapi itu sebelum tersedia dalam bahasa pemrograman apa...
Saya bertanya-tanya apa desain yang lebih baik untuk kegunaan / pemeliharaan, dan apa yang lebih baik sejauh sesuai dengan komunitas. Diberikan model data: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show, Eq) data...
Di perguruan tinggi dan dalam buku teks algoritme, sangat umum bagi guru dan penulis untuk menjelaskan aliran kontrol dalam pseudo-code. Dengan munculnya bahasa yang lebih ekspresif seperti Python dan Haskell antara lain, apakah masuk akal bahwa perguruan tinggi beralih untuk menjelaskan algoritma...
Saya bertanya-tanya apakah ada perbedaan antara kelas tipe Haskell dan antarmuka Go. Keduanya mendefinisikan tipe berdasarkan fungsi, dengan cara itu, bahwa suatu nilai cocok dengan suatu tipe, jika suatu fungsi yang dibutuhkan oleh tipe tersebut didefinisikan untuk nilai tersebut. Apakah ada...
Kita tahu bahwa di Prolog - predikat non-deterministik adalah fitur yang digunakan untuk mengurangi masalah kombinatorial . Di Haskell kita melihat beberapa perilaku non-deterministik serupa dengan Prolog di Daftar Monad . Dalam Haskell kita juga melihat non-determinisme dalam memilih urutan...