Saya telah membaca sedikit tentang denotational semantic (DS) dan saya sangat tertarik dengan proses mendesain program komputer di mana jenis dan fungsi memiliki pemetaan yang kuat dan jelas untuk matematika. Apakah ada sumber daya yang membahas perancangan program berdasarkan DS secara detail?...
Sambil mempelajari Haskell, saya telah menghadapi banyak tutorial yang mencoba menjelaskan apa itu monad dan mengapa monad penting dalam Haskell. Masing-masing menggunakan analogi sehingga akan lebih mudah menangkap artinya. Pada akhirnya, saya memiliki 3 pandangan berbeda tentang apa itu...
Satu hal yang belum pernah saya setujui di Haskell adalah bagaimana Anda dapat memiliki konstanta dan fungsi polimorfik yang jenis kembalinya tidak dapat ditentukan oleh jenis inputnya, seperti class Foo a where foo::Int -> a Beberapa alasan yang saya tidak suka ini: Transparansi...
Saya tahu ini adalah pertanyaan yang sangat luas, ambigu, dan mungkin filosofis. Sampai batas tertentu, kata kunci yang paling penting dalam pertanyaan - sistem tipe "kuat" - itu sendiri, tidak terdefinisi dengan baik . Jadi, izinkan saya mencoba menjelaskan apa yang saya maksud. Konteks...
Tutup. Pertanyaan ini di luar topik . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga sesuai topik untuk Rekayasa Perangkat Lunak Stack Exchange. Ditutup 4 tahun yang lalu . Saya ingin membaca Struktur Data...
Mengapa Haskell memiliki built-in if/then/else, yang tergantung pada Booljenisnya, alih-alih memiliki fungsi pustaka yang sederhana? Seperti if :: Bool -> a -> a -> a if True x _ = x if False _ y =
Bahasa fungsional, menurut definisi, seharusnya tidak mempertahankan variabel status. Lalu, mengapa Haskell, Clojure, dan lainnya menyediakan implementasi perangkat lunak memori transaksional (STM)? Apakah ada konflik antara dua
Saya bertanya-tanya tentang asal-usul "biarkan" yang digunakan dalam Lisp, Clojure, dan Haskell. Adakah yang tahu bahasa mana yang pertama kali
Saya memiliki pengalaman menulis alat kecil di Haskell dan saya merasa sangat intuitif untuk digunakan, terutama untuk menulis filter (menggunakan interact) yang memproses input standar mereka dan menyalurkannya ke output standar. Baru-baru ini saya mencoba menggunakan satu filter seperti itu pada...
Saya pernah membaca bahwa Hindley-Milner tidak bekerja dengan sistem tipe yang memiliki subclass, dan ada fitur sistem tipe lain yang juga tidak bekerja dengan baik dengannya. Go saat ini hanya memiliki tipe inferensi yang sangat terbatas di :=operator. Tapi Go tidak memiliki subclass dalam arti...
Saya sedang belajar Haskell, dan saya telah menemukan tiga cara berbeda dalam berurusan dengan kesalahan dalam fungsi yang saya tulis: Saya hanya bisa menulis error "Some error message.", yang melempar pengecualian. Saya dapat mengembalikan fungsi saya Maybe SomeType, di mana saya mungkin atau...
Istilah-istilah ini disebutkan dalam kursus universitas saya. Googling cepat mengarahkan saya ke beberapa makalah universitas, tetapi saya mencari penjelasan
Apakah ada beberapa alasan teoretis untuk itu (seperti pemeriksaan tipe atau inferensi tipe menjadi tidak dapat dipastikan), atau alasan praktis (terlalu sulit untuk diterapkan dengan benar)? Saat ini, kita bisa membungkusnya menjadi newtypeseperti newtype Pair a = Pair (a, a) dan kemudian...
Ketika menjelaskan kombinator Y dalam konteks Haskell, biasanya dicatat bahwa implementasi straight-forward tidak akan mengetik-cek di Haskell karena tipe rekursifnya. Misalnya, dari Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite...
Saya baru-baru ini telah melalui panduan Pelajari Anda Haskell untuk Great Good dan sebagai praktik saya ingin menyelesaikan Project Euler Problem 5 dengan itu, yang menentukan: Berapakah angka positif terkecil yang secara merata dapat dibagi oleh semua angka dari 1 hingga 20? Saya memutuskan...
Saya pernah menjadi pengembang Java untuk waktu yang lama, tetapi baru-baru ini, saya bergabung dengan tim Haskell. Di dunia java, jika Anda memiliki proyek besar, dengan beberapa tim mengerjakannya, pendekatan yang umum adalah dengan menggunakan server artefak seperti Maven untuk mempermudah dan...
Saya tahu Haskell sudah memiliki kemampuan untuk parametrise tipe lebih dari tipe lain (mirip dengan pemrograman template di C ++), tapi saya bertanya-tanya apakah Haskell juga dapat menentukan parameter atas nilai-nilai - apakah mendukung jenis dependen. Dengan tipe dependen, Anda dapat memiliki...
Misalkan saya ingin menulis perpustakaan yang berhubungan dengan vektor dan matriks. Apakah mungkin untuk memanggang dimensi ke dalam jenis, sehingga operasi dimensi yang tidak kompatibel menghasilkan kesalahan pada waktu kompilasi? Misalnya saya ingin tanda tangan dari produk titik menjadi...
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 5 tahun yang lalu . Ada beberapa kerangka...
Terkunci . Pertanyaan ini dan jawabannya dikunci karena pertanyaannya di luar topik tetapi memiliki signifikansi historis. Saat ini tidak menerima jawaban atau interaksi baru. Saya terlibat dalam pengajaran matematika ke kelas dengan persyaratan seperti AS dan