Pertanyaan yang diberi tag «haskell»

Bahasa Bersih menggunakan tipe keunikan untuk menangani I / O dalam pengaturan yang berfungsi murni. Mengapa komite Haskell pergi dengan monad sebagai gantinya? Apakah ada proposal lain untuk menangani keadaan yang diselidiki komite tetapi diputuskan menentang? Catatan : Saya tidak mencari perang suci antara monad dan bentuk komputasi lainnya. Mari …

36 functional-programming  history  haskell 

Saya merasa nyaman dengan pemrograman dalam C dan C #, dan akan mengeksplorasi C ++ di masa depan. Saya mungkin tertarik mengeksplorasi pemrograman fungsional sebagai paradigma pemrograman yang berbeda. Saya melakukan ini untuk bersenang-senang, pekerjaan saya tidak melibatkan pemrograman komputer, dan saya agak terinspirasi oleh penggunaan pemrograman fungsional, yang diajarkan …

36 haskell  functional-programming  scheme 

Saya mempelajari Haskell untuk tujuan memahami pemrograman fungsional, dengan harapan bahwa saya akan menerapkan wawasan yang saya peroleh dalam bahasa lain (terutama Groovy, Python, JavaScript.) Saya memilih Haskell karena saya memiliki kesan bahwa itu sangat fungsional, dan tidak akan membiarkan ketergantungan pada negara. Saya tidak memilih untuk belajar Haskell karena …

33 functional-programming  haskell  language-features  type-systems 

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? Saya telah melihat beberapa perawatan yang dangkal dari …

30 scala  haskell  scheme 

Tampaknya evaluasi ekspresi yang malas dapat menyebabkan seorang programmer kehilangan kendali atas urutan di mana kode mereka dieksekusi. Saya mengalami kesulitan memahami mengapa ini bisa diterima atau diinginkan oleh seorang programmer. Bagaimana paradigma ini digunakan untuk membangun perangkat lunak yang dapat diprediksi yang berfungsi sebagaimana dimaksud, ketika kami tidak memiliki …

30 functional-programming  haskell 

Saya ingin memulai proyek eksperimental menggunakan bahasa fungsional dan saya mencoba untuk memutuskan antara Erlang dan Haskell, dan keduanya memiliki beberapa poin yang sangat saya sukai. Saya suka sistem dan kemurnian tipe Haskell yang kuat. Saya merasa itu akan membuatnya lebih mudah untuk menulis kode yang benar-benar andal. Dan saya …

30 functional-programming  haskell  erlang 

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 keseluruhan untuk pertanyaan Kami telah membangun …

29 java  haskell  scala  type-systems  rust 

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 monad: Lihat 1: Monad sebagai label Terkadang saya berpikir bahwa monad …

29 functional-programming  haskell  monad  side-effect 

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 referensial: "Di Haskell, diberi input yang sama, …

29 haskell  functional-programming 

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 = y

25 haskell 

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 Murni Fungsional. Saya dengan mudah menemukan tesis (yang tersedia secara bebas sebagai …

25 books  functional-programming  data-structures  haskell 

Saya bertanya-tanya tentang asal-usul "biarkan" yang digunakan dalam Lisp, Clojure, dan Haskell. Adakah yang tahu bahasa mana yang pertama kali muncul?

24 history  haskell  lisp  clojure 

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 pendekatan?

24 functional-programming  haskell  clojure  stm 

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 file yang sekitar 10 kali lebih besar dari biasanya …

23 programming-practices  haskell  stackoverflow 

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 tradisional, hanya antarmuka yang sangat …

22 haskell  type-systems  go