Pertanyaan yang diberi tag «haskell»

Istilah-istilah ini disebutkan dalam kursus universitas saya. Googling cepat mengarahkan saya ke beberapa makalah universitas, tetapi saya mencari penjelasan sederhana.

22 functional-programming  haskell 

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 tidak dapat mengembalikan apa yang ingin saya …

22 haskell  error-handling 

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 Pair :: * -> * tetapi kita tidak …

22 haskell  abstraction  type-systems  lambda 

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 recursive type (a = a -> b). Defining a …

21 haskell  type-systems  static-typing  ocaml 

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 mempercepat pengembangan. Banyak alat pembuatan, seperti Ant, Maven, …

20 java  haskell  maven  build-system 

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 sesuatu seperti dotprod :: Num a, VecDim d => Vector a …

20 haskell  type-systems  type-safety 

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 tipe yang parametris di atas bilangan bulat, misalnya …

20 haskell 

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 untuk terlebih dahulu menulis fungsi yang …

20 haskell 

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 spesifikasi Matematika tingkat A. Buku-buku pelajaran biasanya memberikan contoh-contoh perangkat lunak komputer yang diterapkan …

19 haskell 

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 kerja web untuk Haskell seperti Happstack , Snap , dan Yesod …

19 web-development  experience  comparison  web-framework  haskell 

Bagaimana pola penggunaan penangan perintah untuk menangani ketekunan cocok dengan bahasa murni fungsional, di mana kami ingin membuat kode terkait IO setipis mungkin? Saat menerapkan Desain Berbasis Domain dalam bahasa berorientasi objek, biasanya menggunakan pola Command / Handler untuk mengeksekusi perubahan status. Dalam desain ini, penangan perintah duduk di atas …

18 c#  architecture  functional-programming  domain-driven-design  haskell 

Saya baru-baru ini mempelajari pemrograman fungsional terutama Haskell dan F #, sebelumnya lebih dari itu. Setelah beberapa googling di sekitar saya tidak dapat menemukan perbandingan benchmark bahasa fungsional yang lebih menonjol (Scala, F # dll). Saya tahu itu tidak selalu adil untuk beberapa bahasa (Scala datang ke pikiran) mengingat bahwa …

18 functional-programming  scala  haskell  f#  benchmarking 

Baru-baru ini saya tersandung sekali lagi pada masalah catatan Haskell, khususnya keunikan nama-nama bidang. (Ini menyebalkan ...) Saya sudah membaca proposal untuk catatan di Haskell dari SPJ dan Greg Morrisett, tetapi pembaruan terakhir adalah pada tahun 2003. Makalah lain yang disebut Lightweight Extensible Records untuk Haskell dari SPJ dan Mark …

18 haskell  language-features 

Saya belajar Haskell dan sebagai latihan saya membuat pohon biner. Setelah membuat pohon biner biasa, saya ingin mengadaptasinya menjadi penyeimbang diri. Begitu: Mana yang paling efisien? Mana yang paling mudah diterapkan? Mana yang paling sering digunakan? Tetapi yang terpenting, yang Anda rekomendasikan? Saya menganggap ini milik di sini karena itu …

18 haskell  functional-programming  data-structures  binary-tree 

Dalam masalah pembelajaran yang telah saya lakukan, saya menyadari bahwa saya membutuhkan typeclass untuk fungsi dengan operasi untuk menerapkan, menyusun dll. Alasan ... Akan lebih mudah untuk memperlakukan representasi suatu fungsi seolah-olah itu adalah fungsi itu sendiri, sehingga menerapkan fungsi tersebut secara implisit menggunakan penerjemah, dan menyusun fungsi memperoleh deskripsi …

17 haskell  standard-library