Pertanyaan yang diberi tag «haskell»

Saya mulai belajar Haskell . Saya sangat baru dalam hal ini, dan saya hanya membaca beberapa buku online untuk memahami konstruksi dasarnya. Salah satu 'meme' yang sering dibicarakan orang-orang, adalah keseluruhan "jika dikompilasi, itu akan berfungsi *" - yang saya pikir terkait dengan kekuatan sistem tipe. Saya mencoba untuk memahami …

204 java  haskell  polymorphism 

Saya telah melihat orang-orang berbicara tentang Monad Gratis dengan Juru Bahasa , khususnya dalam konteks akses data. Apa pola ini? Kapan saya ingin menggunakannya? Bagaimana cara kerjanya, dan bagaimana saya akan menerapkannya? Saya mengerti (dari tulisan seperti ini ) bahwa ini tentang memisahkan model dari akses data. Apa bedanya dengan …

95 design-patterns  functional-programming  haskell  dsl  monad 

Saya menyadari beberapa hal lebih mudah / lebih sulit dalam satu bahasa daripada yang lain, tetapi saya hanya tertarik pada fitur terkait jenis yang mungkin dalam satu bahasa dan tidak mungkin / tidak relevan dengan yang lain. Untuk membuatnya lebih spesifik, mari kita abaikan ekstensi jenis Haskell karena ada begitu …

66 java  haskell  type-systems  static-typing 

Saya belajar pemrograman fungsional dengan Haskell, dan saya mencoba mengambil konsep dengan terlebih dahulu memahami mengapa saya membutuhkannya. Saya ingin tahu tujuan panah dalam bahasa pemrograman fungsional. Masalah apa yang mereka pecahkan? Saya memeriksa http://en.wikibooks.org/wiki/Haskell/Understanding_arrows dan http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf . Yang saya mengerti adalah bahwa mereka digunakan untuk menggambarkan grafik untuk perhitungan, …

63 functional-programming  haskell 

Ada beberapa masalah yang mudah dipecahkan oleh Tipe Data Aljabar, misalnya tipe Daftar dapat dengan sangat ringkas dinyatakan sebagai: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f b) l = ConsCell 1 …

58 java  c#  scala  haskell  algebraic-data-type 

Saya memiliki beberapa pengalaman dalam bahasa pemrograman berorientasi objek seperti c # atau ruby. Saya tahu bagaimana merancang suatu program dengan gaya berorientasi objek, cara membuat kelas dan objek, dan bagaimana mendefinisikan hubungan di antara mereka. Saya juga tahu beberapa pola desain. Bagaimana orang menulis program fungsional? Bagaimana mereka memulai? …

52 design  haskell  functional-programming 

Saya melihat menyelam ke Haskell untuk proyek pribadi saya berikutnya (relatif sepele). Alasan saya menangani Haskell adalah: Dapatkan kepalaku ke bahasa yang murni fungsional Kecepatan. Meskipun saya yakin ini bisa diperdebatkan, membuat profil yang saya lihat paku Haskell dekat dengan C ++ (dan tampaknya sedikit lebih cepat daripada Erlang). Kecepatan. …

47 haskell 

The IOmonad di Haskell sering dijelaskan sebagai monad negara di mana negara adalah dunia. Jadi nilai tipe IO amonad dipandang sebagai sesuatu seperti worldState -> (a, worldState). Beberapa waktu yang lalu saya membaca artikel (atau posting blog / milis) yang mengkritik pandangan ini dan memberikan beberapa alasan mengapa itu tidak …

46 functional-programming  haskell  io  monad 

Apa sajakah teknik yang mungkin saya gunakan untuk secara konsisten refactor kode menghapus ketergantungan pada tipe eksistensial? Biasanya ini digunakan untuk mendiskualifikasi konstruksi yang tidak diinginkan dari jenis Anda serta untuk memungkinkan konsumsi dengan sedikit pengetahuan tentang jenis yang diberikan (atau begitulah pemahaman saya). Adakah yang datang dengan cara konsisten …

43 functional-programming  haskell  type-systems 

Saya tahu Lisp dan Haskell masing-masing adalah bahasa pemrograman logika dan fungsional, tetapi apa sebenarnya artinya ini? Bagaimana mereka berbeda dari bahasa lain? Saya pernah mendengar bahwa mempelajari ini akan membuat Anda menjadi programmer yang lebih baik dan meningkatkan logika Anda. Apakah ini benar, dan jika saya belajar Lisp atau …

41 haskell  lisp 

Saat ini saya kode dengan C, C ++, dan Python. Saya ingin mengambil bahasa pemrograman fungsional, dan sekarang saya condong ke arah Haskell. Saya TIDAK ingin memulai perang "Haskell vs Lisp" di sini; yang ingin saya ketahui adalah ini: jika saya mempelajari Haskell terutama untuk paparan pemrograman fungsional, apa manfaatnya, …

40 learning  functional-programming  haskell  lisp  paradigms 

Saya sering menemui pernyataan / argumen berikut: Bahasa pemrograman fungsional murni tidak memungkinkan efek samping (dan karena itu tidak banyak digunakan dalam praktik karena setiap program yang bermanfaat memang memiliki efek samping, misalnya ketika berinteraksi dengan dunia luar). Bahasa pemrograman fungsional murni tidak memungkinkan untuk menulis sebuah program yang mempertahankan …

39 functional-programming  haskell 

Saya sedang meneliti tentang suite kompiler gcc di wikipedia di sini , ketika ini muncul: GCC mulai menggunakan parser LALR yang dibuat dengan Bison, tetapi secara bertahap beralih ke parser rekursif-keturunan yang ditulis tangan; untuk C ++ pada tahun 2004, dan untuk C dan Objective-C pada tahun 2006. Saat ini …

38 java  ruby  haskell  parsing  swift-language 

Ini mungkin jenis pertanyaan filosofis, tetapi saya percaya bahwa ada jawaban yang objektif untuk itu. Jika Anda membaca artikel wikipedia tentang Haskell, Anda dapat menemukan yang berikut: Bahasa ini berakar pada pengamatan Haskell Curry dan keturunan intelektualnya, bahwa "bukti adalah program; rumus yang dibuktikannya adalah tipe untuk program" Sekarang, yang …

37 haskell 

Katakanlah, saya memiliki logika di bawah ini. Bagaimana cara menulis itu dalam Pemrograman Fungsional? public int doSomeCalc(int[] array) { int answer = 0; if(array!=null) { for(int e: array) { answer += e; if(answer == 10) break; if(answer == 150) answer += 100; } } return answer; } Contoh-contoh di sebagian …

36 functional-programming  haskell  clojure